Set Theory and the Continuum Problem (Oxford Logic Guides)
$5.49 - $13.26
First-Order Logic and Automated Theorem Proving
$99.99
In praise of simple things
Out of Stock
Types, Tableaus, and Gödel's God
$78.89 - $109.99
Proof Methods for Modal and Intuitionistic Logics (Synthese Library)
$219.99
First-Order Modal Logic (Synthese Library)
Out of Stock
Incompleteness in the Land of Sets
$37.00
Justification Logic: Reasoning with Reasons
$137.50
Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides)
Out of Stock
Intuitionistic logic, model theory and forcing (Studies in logic and the foundations of mathematics)
Out of Stock
Numbers
$20.47
First-Order Modal Logic
$129.99