Title: 18 Unconventional Essays on the Nature of Mathematics / Edition 1, Author: Reuben Hersh
Title: 7th International Conference on Automated Deduction: Proceedings / Edition 1, Author: R. E. Shostak
Title: A Beginner's Further Guide To Mathematical Logic, Author: Raymond M Smullyan
Title: A Boole Anthology: Recent and Classical Studies in the Logic of George Boole / Edition 1, Author: James Gasser
Title: A Bridge to Higher Mathematics / Edition 1, Author: Valentin Deaconu
Title: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia / Edition 1, Author: Jacques Fleuriot
Title: A Concise Introduction to Logic / Edition 11, Author: Patrick J. Hurley
Title: A Concise Introduction to Mathematical Logic / Edition 3, Author: Wolfgang Rautenberg
Title: A Concise Introduction to Pure Mathematics / Edition 4, Author: Martin Liebeck
Title: A Course in Mathematical Logic for Mathematicians / Edition 2, Author: Yu. I. Manin
Title: A Course in Model Theory / Edition 1, Author: Katrin Tent
Title: A Course on Basic Model Theory, Author: Haimanti Sarbadhikari
Title: A Course on Mathematical Logic / Edition 2, Author: Shashi Mohan Srivastava
Title: A First Course in Logic / Edition 1, Author: Mark Verus Lawson
Title: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity, Author: Shawn Hedman
Title: A First Course in Mathematical Logic and Set Theory / Edition 1, Author: Michael L. O'Leary
Title: A Framework for Priority Arguments, Author: Manuel Lerman
Title: A Guide to NIP Theories, Author: Pierre Simon
Title: A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability (AMS-206), Author: Rod Downey
Title: A Higher-Dimensional Sieve Method: With Procedures for Computing Sieve Functions, Author: Harold G. Diamond

Pagination Links