-
Logic and discrete mathematics : a concise introduction /
-
Logic and discrete mathematics : a concise introduction /
-
Foundation of abstract mathematics /
-
Foundational Theories of Classical and Constructive Mathematics
-
Mathematical logic
-
Proof and knowledge in mathematics
-
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
-
Mathematical logic in the 20th century
-
Constructibility and mathematical existence
-
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
-
Concepts of proof in mathematics, philosophy, and computer science /
-
Publications 1929-1936 /
-
A first course in mathematical logic and set theory /
-
Mathematical logic
-
Logical dynamics of information and interaction
-
A tour through mathematical logic
-
Symbolic logic syntax, semantics, and proof /
-
Paradox and paraconsistency conflict resolution in the abstract sciences /
-
Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
-
Diamond a paradox logic /
-
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
-
Discrete mathematics with graph theory /
-
Gödel's incompleteness theorems
-
Proof, logic, and formalization