Beth, E. W. Semantical considerations on intuitionistic mathematics. (English) Zbl 0035.14814 Proc. Akad. Wet. Amsterdam 50, 1146-1251 (1947). Reviewer: Arnold Schmidt (Göttingen) Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 03B20 Subsystems of classical logic (including intuitionistic logic) PDFBibTeX XMLCite \textit{E. W. Beth}, Proc. Akad. Wet. Amsterdam 50, 1146--1251 (1947; Zbl 0035.14814)