Gödel's Proof
from $11.20
Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs in General Sentential Logic and Universal Algebra
from $6.00
What Is Mathematical Logic? (Dover Books on Mathematics)
from $5.35
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science Book 12699)
from $0.00
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
from $31.82
Logic and Structure (Universitext)
$65.07
from $50.00
Implicative and Disjunctive Prevarieties: Algebraic aspects of Deduction Theorem
$200.00
from $194.42
Deductions From Euclid And How To Work Them: Consisting Of Notes, Hints, Directions, Etc., For Solving Geometrical Problems And Theorems (1879)
from $26.95
Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction
from $110.00
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
$33.95
from $1.90
More results from Amazon »