Neue Fassung des Widerspruchsfreiheit für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, NewSeries 4:19–44 (1938)

by Gerhard Gentzen
Venue:in [12