Title: From Stimulus to Science / Edition 1, Author: Willard Van Orman Quine
Title: A Beginner's Further Guide To Mathematical Logic, Author: Raymond M Smullyan
Title: Passage to Abstract Mathematics / Edition 1, Author: Mark E. Watkins
Title: Prime-Detecting Sieves (LMS-33), Author: Glyn Harman
Title: Automated Deduction in Equational Logic and Cubic Curves / Edition 1, Author: William McCune
Title: The Notre Dame Lectures: Lecture Notes in Logic, 18 / Edition 1, Author: Peter Cholak
Title: Logical Foundations of Proof Complexity, Author: Stephen Cook
Title: Language, Logic, and Mathematics in Schopenhauer, Author: Jens Lemanski
Title: Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / Edition 1, Author: Reinhard Kahle
Title: A First Course in Logic / Edition 1, Author: Mark Verus Lawson
Title: Automated Theorem Proving in Software Engineering / Edition 1, Author: Johann M. Schumann
Title: Science and Necessity, Author: John Bigelow
Title: Kurt Gödel and the Foundations of Mathematics: Horizons of Truth, Author: Matthias Baaz
Title: Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems / Edition 1, Author: Madhu Sudan
Title: Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / Edition 1, Author: Dieter Hutter
Title: Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings, Author: Srecko Brlek
Title: The Scientific World-Perspective and Other Essays, 1931-1963 / Edition 1, Author: J. Giedymin
Title: Philosophies of Mathematics / Edition 1, Author: Alexander L. George
Title: Reasoning, Necessity, and Logic: Developmental Perspectives / Edition 1, Author: Willis F. Overton
Title: The Unity of the Proposition, Author: Richard Gaskin

Pagination Links