Title: Short Introduction to Intuitionistic Logic
Subjects: Intuitionistic mathematics