Semantic construction of intuitionistic logic / - Beth, Evert Willem, (Noord-Hollandsche uitgeversmaatschappij,, 1856)