TY  - GEN
KW  - Geschichte 1945-1994
N2  - Inhalt:       - Gert H. Müller - Grundlagen der Zahlentheorie und Analysis vom deduktiven Gesichtspunkt - - Vorbemerkung - - Die Formalisierung der Mathematik und Logik - - Der klassische Ansatz - - Ein fundamentales Ergebnis der Beweistheorie - - Intuitionismus - - Zurück zur klassischen Auffassung der Mathematik 
A1  - Müller, Gert Heinz
CY  - Weinheim
AV  - public
TI  - Grundlagen der Zahlentheorie und Analysis
SP  - 199
EP  - 233
Y1  - 2007///
UR  - https://archiv.ub.uni-heidelberg.de/volltextserver/12970/
ID  - heidok12970
ER  -