37Tagebuch 9. I. 1934 – 8. I. 1935 [Rudolf Carnap: Tagebücher], Eintrag Di 13. XI. 1934
HeytingPHeyting, Arend, 1898-1980, niederl. Mathematiker, Mathematische GrundlagenforschungBHeyting, Arend!1934@Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie, Berlin, 1934, gelesen. Gut. (Für Rez.B1935@„Rezension von Arend Heyting, Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie, Ergebnisse der Mathematik und ihrer Grenzgebiete“, Erkenntnis 5, 1935, 288-289).137Carnap, „Rezension von Arend Heyting, Mathematische Grundlagenforschung“.
