Title: A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics)
Subjects: Intuitionistic mathematics