Title: An Introduction to Philosophical Logic / Edition 3, Author: A. C. Grayling
Title: Frege: Philosophy of Mathematics, Author: Michael Dummett
Title: The Mathematician's Mind: The Psychology of Invention in the Mathematical Field, Author: Jacques Hadamard
Title: How to Prove It: A Structured Approach / Edition 3, Author: Daniel J. Velleman
Title: Sets, Models and Proofs, Author: Ieke Moerdijk
Title: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions / Edition 1, Author: Yves Bertot
Title: Philosophy of Mathematics and Natural Science, Author: Hermann Weyl
Title: Lambda-Calculus and Combinators: An Introduction / Edition 2, Author: J. Roger Hindley
Title: Mathematical Logic / Edition 2, Author: H.-D. Ebbinghaus
Title: If P, Then Q: Conditionals and the Foundations of Reasoning / Edition 2, Author: David Sanford
Title: Elements of Logical Reasoning, Author: Jan von Plato
Title: Fundamental Proof Methods in Computer Science: A Computer-Based Approach, Author: Konstantine Arkoudas
Title: Brouwer's Cambridge Lectures on Intuitionism, Author: Luitzen Egbertus Jan Brouwer
Title: Word and Object, new edition, Author: Willard Van Orman Quine
Title: Visual Thinking in Mathematics, Author: Marcus Giaquinto
Title: Introduction to Logic / Edition 14, Author: Irving M. Copi
Title: Classical Descriptive Set Theory / Edition 1, Author: Alexander Kechris
Title: Introduction to Metamathematics / Edition 13, Author: S.C. Kleene
Title: Realism in Mathematics / Edition 1, Author: Penelope Maddy
Title: Intermediate Logic / Edition 1, Author: David Bostock

Pagination Links