Intuitionistic Logic, volume 3 (1986)

by D Van Dalen
Venue:of Handbook of Philosophical Logic, chapter 4