Geodesic
Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
Mathematische Annalen, Tome 107 (1933), pp. 329-350.

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

Mots-clés : foundations, philosophy, logic 
@article{MAN_1933__107_159597,
     author = {G. Gentzen},
     title = {\"Uber die {Existenz} unabh\"angiger {Axiomensysteme} zu unendlichen {Satzsystemen}},
     journal = {Mathematische Annalen},
     pages = {329--350},
     publisher = {mathdoc},
     volume = {107},
     year = {1933},
     zbl = {0005.33803},
     url = {http://geodesic.mathdoc.fr/item/MAN_1933__107_159597/}
}
TY  - JOUR
AU  - G. Gentzen
TI  - Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
JO  - Mathematische Annalen
PY  - 1933
SP  - 329
EP  - 350
VL  - 107
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1933__107_159597/
ID  - MAN_1933__107_159597
ER  - 
%0 Journal Article
%A G. Gentzen
%T Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
%J Mathematische Annalen
%D 1933
%P 329-350
%V 107
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1933__107_159597/
%F MAN_1933__107_159597
G. Gentzen. Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen. Mathematische Annalen, Tome 107 (1933), pp. 329-350. http://geodesic.mathdoc.fr/item/MAN_1933__107_159597/