- 535: 201–205. 1937. "Die gegenwärtige Lage in der
mathematischen Grundlagenforschung".
Deutsche Mathematik. 3: 255–268. 1938. "Neue F****ung des...
- 21
February 2022. "asfpg ~
Altonaer Stiftung für
philosophische Grundlagenforschung".
Archived from the
original on 31 May 2017.
Retrieved 25 February...
- Kl****e, 1930, 42–56, 57–71, 158–169. Heyting, A. (1934)
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer, Berlin. Heyting, A. (1941)...
-
Publication details Former name(s)
Archiv für
mathematische Logik und
Grundlagenforschung History 1950–present
Publisher Springer Science+Business
Media Frequency...
-
Funktionen imλ-Kalkül mit Typen".
Archiv für
mathematische Logik und
Grundlagenforschung (in German). 17 (3): 113–114. doi:10.1007/BF02276799. ISSN 1432-0665...
-
Sciences (German:
Deutsche Vereinigung für
mathematische Logik und für
Grundlagenforschung der
exakten Wissenschaften; DVMLG) is the
learned society representing...
- Stuttgart:
Franckh 1933
Beitrag in:
Probleme aus der
astronautischen Grundlagenforschung, hrsg. v.
Heinz H. Koelle, 1952
Sharp (2019), pp. 40–47. Gooden,...
- für die Kongruenzzetafunktion",
Archiv für
mathematische Logik und
Grundlagenforschung, 5 (4–6): 355–366, doi:10.1007/BF01898377, ISSN 0003-9268, MR 0063406...
- the
Journal of
Symbolic Logic,
Archiv für
mathematische Logik und
Grundlagenforschung (Archive for
Mathematical Logic and
Basic Research) and
other journals...
-
President of the
Deutsche Vereinigung für
mathematische Logik und für
Grundlagenforschung der
exakten Wissenschaften. With
Martin Ziegler, Tent is the co-author...
