Title: First-Order Logic and Automated Theorem Proving / Edition 2, Author: Melvin Fitting
Title: The Big Typescript: TS 213 / Edition 1, Author: Ludwig Wittgenstein
Title: Logical Investigations Volume 1 / Edition 1, Author: Edmund Husserl
Title: Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures / Edition 2, Author: James Robert Brown
Title: Meaning and Argument: An Introduction to Logic Through Language / Edition 2, Author: Ernest Lepore
Title: Philosophy of Logic: An Anthology / Edition 1, Author: Dale Jacquette
Title: Deduction: Introductory Symbolic Logic / Edition 2, Author: Daniel Bonevac
Title: An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems, Author: Merrie Bergmann
Title: An Introduction to Substructural Logics / Edition 1, Author: Greg Restall
Title: Non-standard Analysis / Edition 1, Author: Abraham Robinson
Title: Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers, Author: Helle Hvid Hansen
Title: The Foundations of Topological Analysis: A Straightforward Introduction: Book 2 Topological Ideas / Edition 2, Author: K. G. Binmore
Title: Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings / Edition 1, Author: Kedar Namjoshi
Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Edition 1, Author: Didier Galmiche
Title: Wise Choices, Apt Feelings: A Theory of Normative Judgment, Author: Allan Gibbard
Title: The Pleadings Game: An Artificial Intelligence Model of Procedural Justice / Edition 1, Author: Thomas F. Gordon
Title: Prime-Detecting Sieves (LMS-33), Author: Glyn Harman
Title: Logical Dynamics of Information and Interaction, Author: Johan van Benthem
Title: Natural Language and Logic: International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings / Edition 1, Author: Rudi Studer
Title: Leibniz und die moderne Naturwissenschaft, Author: Jïrgen Jost

Pagination Links