
Set Theory and the Continuum Problem (Oxford Logic Guides)
$10.29 - $13.48

First-Order Modal Logic (Synthese Library)
Out of Stock

Incompleteness in the Land of Sets
$13.09 - $37.00

Justification Logic: Reasoning with Reasons
$148.88

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.76

First-Order Modal Logic
$129.99

First-Order Logic and Automated Theorem Proving
$99.99 - $102.99

In praise of simple things
Out of Stock

Types, Tableaus, and Gödel's God
$119.00

Proof Methods for Modal and Intuitionistic Logics (Synthese Library)
$219.99