Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs in General Sentential Logic and Universal Algebra
from $6.00
Gödel's Proof
from $2.99
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 $30.75
Implicative and Disjunctive Prevarieties: Algebraic aspects of Deduction Theorem
$200.00
from $194.42
Logic and Structure (Universitext)
$64.13
from $50.00
What Is Mathematical Logic? (Dover Books on Mathematics)
from $5.35
Deductions From Euclid And How To Work Them: Consisting Of Notes, Hints, Directions, Etc., For Solving Geometrical Problems And Theorems (1879)
from $26.95
The Y Theorem Concentrate
from $38.88 ($82.13 / Fl Oz)
Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction
from $110.00
More results from Amazon »
