Title: Semantical investigations in Heyting's intuitionistic logic
Subjects: Intuitionistic mathematics, Logic
People: A. Heyting (1898-)