Author:
Binder David,Piecha Thomas,Schroeder-Heister Peter
Publisher
Springer International Publishing
Reference26 articles.
1. Bernays, P. (1940). Logik und Mathematik. Antrittsvorlesung an der ETH. ETH Zurich, Bernays Nachlass Hs 975 : 3652. Typoscript, 12 p.
2. – (1942). Review: Max Steck. Ein unbekannter Brief von Gottlob Frege uber Hilberts erste Vorlesung uber die Grundlagen der Geometrie. Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Math.-naturw. Klasse 1940, no. 6 (1940), 8 pp. In: Journal of Symbolic Logic 7 (2), pp. 92–93.
3. Church, A. (1944). Introduction to Mathematical Logic. Princeton University Press and Oxford University Press.
4. Findlay, J. N. (July 1942). Goedelian Sentences: A Non-Numerical Approach. In: Mind 51 (203), pp. 259–265.
5. Gentzen, G. (1932). Uber die Existenz unabhangiger Axiomensysteme zu unendlichen Satzsystemen. In: Mathematische Annalen 107 (2), pp. 329–350. English translation in Gentzen (1969).