Semantic construction of intuitionistic logic. Koninklijke Nederlandse Akademie van (1957)

by Evert W Beth
Venue:Wetenschappen, Mededelingen, Nieuwe Reeks, 19 (11):357 – 388