Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Verënderlichen mit unendlichem Ausdehnungsbereich (1923)

by Thoralf Skolem
Venue:In Videnskapsselskapets skrifter, I. Matematisk-naturvidenskabelig klasse, 6