Intuitionistic logic, model theory and forcing (Studies in logic and the foundations of mathematics)
from $4,995.00
Intuitionistic Set Theory
$19.18
from $15.20
Boxes and Diamonds: An Open Introduction to Modal Logic (Open Logic Project Textbooks)
from $7.00
Proof Methods for Modal and Intuitionistic Logics (Synthese Library, 169)
$174.75
from $171.24
Dick de Jongh on Intuitionistic and Provability Logics (Outstanding Contributions to Logic, 28)
from $132.99
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
from $124.20
Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics (Logic, Epistemology, and the Unity of Science, 42)
from $82.50
Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)
from $127.40
Heyting Algebras: Duality Theory (Trends in Logic, 50)
$60.60
from $58.54
Elements of Intuitionism (Oxford Logic Guides)
$290.00
from $239.55
More results from Amazon »