Erik Stenius. Das Interpretationsproblem der formalisierten Zahlentheorie und ihre formate Widerspruchsfreiheit. Acta Academiae Aboensis, vol. 18 no. 3. Åbo Akademi, Åbo1952, 102 pp. With separate sheet of Berichtigungen.
Keyword(s):
1980 ◽
Vol 35
(1)
◽
pp. 17-32
◽
Keyword(s):
Keyword(s):
Keyword(s):
2021 ◽
Vol 4
(1)
◽
pp. 168-177