Geodesic
Some concepts concerning formal systems on number theory.
Mathematische Zeitschrift, Tome 57 (1952), pp. 1-12

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : philosophy and foundations of mathematics 
@article{MZ_1952__57_169302,
     author = {Georg Kreisel},
     title = {Some concepts concerning formal systems on number theory.},
     journal = {Mathematische Zeitschrift},
     pages = {1--12},
     publisher = {mathdoc},
     volume = {57},
     year = {1952},
     zbl = {0048.24702},
     url = {http://geodesic.mathdoc.fr/item/MZ_1952__57_169302/}
}
TY  - JOUR
AU  - Georg Kreisel
TI  - Some concepts concerning formal systems on number theory.
JO  - Mathematische Zeitschrift
PY  - 1952
SP  - 1
EP  - 12
VL  - 57
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZ_1952__57_169302/
ID  - MZ_1952__57_169302
ER  - 
%0 Journal Article
%A Georg Kreisel
%T Some concepts concerning formal systems on number theory.
%J Mathematische Zeitschrift
%D 1952
%P 1-12
%V 57
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZ_1952__57_169302/
%F MZ_1952__57_169302
Georg Kreisel. Some concepts concerning formal systems on number theory.. Mathematische Zeitschrift, Tome 57 (1952), pp. 1-12. http://geodesic.mathdoc.fr/item/MZ_1952__57_169302/