The Little Prover

Automated Theorem Proving in Software Engineering (Hardcover)

Pre-Owned Lecture Notes in Computer Science: Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium Kgc 97 Vienna Austria August 25-29 1997 Proceedings (Paperback)

introduction to symbolic logic 3rd edition

Monographs in Computer Science Adapting Proofs-As-Programs: The Curry--Howard Protocol (Paperback)

Lecture Notes in Computer Science: First-Order Dynamic Logic (Paperback)

How to Read and Do Proofs: An Introduction to Math

Handbook of Logic and Proof Techniques for Computer Science (Hardcover)

Proofs: A Long-Form Mathematics Textbook (The Long

Handbook of Logic and Proof Techniques for Computer Science

Introduction to Advanced Mathematics A Guide to Understanding Proofs

Proof Theory and Algebra in Logic (Short Textbooks in Logic)

introduction to formal logic

Proofs 101: An Introduction to Formal Mathematics

Lectures on Mathematical Logic, Volume II

Mathematical Logic A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Pre-Owned A First Course in Logic: An Introduction to Model Theory Proof Theory Computability and Complexity (Oxford Texts in Logic) 9780198529811 Paperback 1 edition

Logic Language Information and Computation (Paperback)

Symbolic Logic and Mechanical Theorem Proving

Formal Logic

Symbolic Logic: Syntax, Semantics, and Proof

Book of Proof

Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)