Heyting, A. Bemerkungen zu dem Aufsatz von Herrn Freudenthal ”Zur intuitionistischen Deutung logischer Formeln”. (German) Zbl 0015.24202 Compos. Math. 4, 117-118 (1936). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Keywords:Foundations, philosophy, logic PDFBibTeX XMLCite \textit{A. Heyting}, Compos. Math. 4, 117--118 (1936; Zbl 0015.24202) Full Text: Numdam EuDML