'Die Widerspruchfreiheit der Stufenlogik'

AMT-B-42

Gentzen, Gerhard; Off-print, 'Die Widerspruchfreiheit der reinen Zahlentheorie' from Mathematische…