The Story of Proof: Logic and the History of Mathematics
John Stillwell
Logic, Proof and Computation
Mark Tarver
Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers
Bernd S. W. Schröder
What Logics Mean: From Proof Theory to Model-Theoretic Semantics
James W. Garson
Solving Religion With Logic: Logical Proof That God Exists and the Bible Is All True
Paul Kasch
Proof, Logic and Formalization
Michael Detlefsen
Proof, Logic, and Conjecture: The Mathematician's Toolbox
Robert S. Wolf
Handbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz
Mastermind Mathematics: Logic, Strategies, and Proofs
Mathew Mitchell
Logic and Proof
E. Norman
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)
David J. Pym
Modal Logic: Gödel's Ontological Proof, Counterpart Theory, Admissible Rule, Kripke Semantics, Dynamic Logic, Interior Algebra
Books LLC
Logic and Proof
Jeremy Avigad
Logic, Proof, and Abstract Algebra: A Guided Tour
Anthony J. Dos Reis
Introduction to Discrete Mathematics via Logic and Proof (Undergraduate Texts in Mathematics)
Calvin Jongsma
Formal Logic Part II: Proof Theory (Formal Logic, #2)
Stephen Read
Syllogistic Logic and Mathematical Proof
Prof Paolo Mancosu
Hybrid Logic and its Proof-Theory (Applied Logic Series, 37)
Torben Braüner
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, 713) (Volume 0)
Georg Gottlob
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997, Proceedings
Georg Gottlob