Title: Semantical Investigations in Heyting's Intuitionistic Logic
Subjects: Intuitionistic mathematics, Europe, biography