
Set Theory and the Continuum Problem (Oxford Logic Guides)
$10.19 - $13.35

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

Incompleteness in the Land of Sets
$23.29 - $37.00

Justification Logic: Reasoning with Reasons
$146.05

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

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