Semantic construction of intuitionistic logic - Beth, Evert Willem 1908-1964 (Noord-Hollandsche Uitgevers Maatschappij, 1956)