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 Bridge to Higher Mathematics / Edition 1, Author: Valentin Deaconu
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 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: An Introduction to Model Theory, Proof Theory, Computability, and Complexity, Author: Shawn Hedman
Title: A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability, Author: Rod Downey
Title: A Logical Approach to Philosophy: Essays in Honour of Graham Solomon / Edition 1, Author: David DeVidi
Title: A Philosophical Guide to Conditionals / Edition 1, Author: Jonathan Bennett
Title: A Structural Account of Mathematics, Author: Charles S. Chihara
Title: A Structuralist Theory of Logic, Author: Arnold Koslow
Title: A Textbook of Belief Dynamics: Theory Change and Database Updating / Edition 1, Author: Sven Ove Hansson
Title: Abstract Computing Machines: A Lambda Calculus Perspective / Edition 1, Author: Werner Kluge
Title: Activity and Sign: Grounding Mathematics Education / Edition 1, Author: Michael H.G. Hoffmann
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
Title: Advanced Logic for Applications / Edition 1, Author: R.E. Grandy
Title: Advances in Linear Logic, Author: Jean-Yves Girard

Pagination Links