Intuitionistic logic (2002)

by D van Dalen
Venue:Handbook of Philosophical Logic, volume 5. Kluwer, 2nd edition