Intuitionistic logic (1986)

by D van Dalen
Venue:Handbook of Philosophical Logic, volume III