Heyting, A. Blick von der intuitionistischen Warte. (German) Zbl 0089.24502 Dialectica 12, 332-345 (1958). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 9 Documents Keywords:foundations of mathematics, philosophy, logic PDFBibTeX XMLCite \textit{A. Heyting}, Dialectica 12, 332--345 (1958; Zbl 0089.24502) Full Text: DOI