Heyting, A. Intuitionistische Mathematik. (Dutch) Zbl 0020.33801 Mathematica, Zutphen B 7, 129-142 (1939). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Keywords:Foundations, philosophy, logic PDFBibTeX XMLCite \textit{A. Heyting}, Mathematica B, Zutphen 7, 129--142 (1939; Zbl 0020.33801)