- (3): 405–431. 1935. doi:10.1007/bf01201363. S2CID 186239837. "Die
Widerspruchsfreiheit der Stufenlogik".
Mathematische Zeitschrift. 41: 357–366. 1936a....
- Begründung des "tertium non datur"
mittels der
Hilbertschen Theorie der
Widerspruchsfreiheit,
which was a
consistency proof of
arithmetic apparently without Peano...
- "Einige
metamathematische Resultate über
Entscheidungsdefinitheit und
Widerspruchsfreiheit" [Some
metamathematical results on the
definiteness of
decision and...
-
concept of number, 2nd ed. Blackwell. Gentzen,
Gerhard (1936). "Die
Widerspruchsfreiheit der
reinen Zahlentheorie".
Mathematische Annalen. 112: 132–213. doi:10...
- MA: A.K. Peters. ISBN 1-56881-238-8. Gentzen,
Gerhard (1936). "Die
Widerspruchsfreiheit der
reinen Zahlentheorie".
Mathematische Annalen. 112. Springer:...
-
Neumann hierarchy of pure sets. Ackermann,
Wilhelm (1937). "Die
Widerspruchsfreiheit der
allgemeinen Mengenlehre".
Mathematische Annalen. 114: 305–315...
- world. New York,
Humanities Press. Gentzen,
Gerhard (1936). "Die
Widerspruchsfreiheit der
reinen Zahlentheorie".
Mathematische Annalen. 112. Reprinted...
-
Verwendung des
Wortes "Ich" bei L.
Wittgenstein [41]
Beweis und
Widerspruchsfreiheit [42]
Minima visibilia [43] La variación como
procedimiento de investigación...
- 4064/fm-49-1-35-92. ISSN 0016-2736. Gentzen,
Gerhard (1936), "Die
Widerspruchsfreiheit der
reinen Zahlentheorie",
Mathematische Annalen, 112: 493–565, doi:10...
- (1980).
Cherlin (2011), Fact 1.3 Ackermann,
Wilhelm (1937), "Die
Widerspruchsfreiheit der
allgemeinen Mengenlehre",
Mathematische Annalen, 114 (1): 305–315...
