Geodesic
A Reduction-Principle for Infinite Formulas.
Mathematische Annalen, Tome 151 (1963), pp. 296-303

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

Mots-clés : mathematical logic 
@article{MAN_1963__151_161085,
     author = {E. ENGELER},
     title = {A {Reduction-Principle} for {Infinite} {Formulas.}},
     journal = {Mathematische Annalen},
     pages = {296--303},
     publisher = {mathdoc},
     volume = {151},
     year = {1963},
     zbl = {0114.24504},
     url = {http://geodesic.mathdoc.fr/item/MAN_1963__151_161085/}
}
TY  - JOUR
AU  - E. ENGELER
TI  - A Reduction-Principle for Infinite Formulas.
JO  - Mathematische Annalen
PY  - 1963
SP  - 296
EP  - 303
VL  - 151
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1963__151_161085/
ID  - MAN_1963__151_161085
ER  - 
%0 Journal Article
%A E. ENGELER
%T A Reduction-Principle for Infinite Formulas.
%J Mathematische Annalen
%D 1963
%P 296-303
%V 151
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1963__151_161085/
%F MAN_1963__151_161085
E. ENGELER. A Reduction-Principle for Infinite Formulas.. Mathematische Annalen, Tome 151 (1963), pp. 296-303. http://geodesic.mathdoc.fr/item/MAN_1963__151_161085/