Geodesic
A complete first-order logic with infinitary predicates
Fundamenta Mathematicae, Tome 52 (1963) no. 2, pp. 177-203.

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

DOI : 10.4064/fm-52-2-177-203

H. Keisler 1

1 
@article{10_4064_fm_52_2_177_203,
     author = {H. Keisler},
     title = {A complete first-order logic with infinitary predicates},
     journal = {Fundamenta Mathematicae},
     pages = {177--203},
     publisher = {mathdoc},
     volume = {52},
     number = {2},
     year = {1963},
     doi = {10.4064/fm-52-2-177-203},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-52-2-177-203/}
}
TY  - JOUR
AU  - H. Keisler
TI  - A complete first-order logic with infinitary predicates
JO  - Fundamenta Mathematicae
PY  - 1963
SP  - 177
EP  - 203
VL  - 52
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-52-2-177-203/
DO  - 10.4064/fm-52-2-177-203
LA  - en
ID  - 10_4064_fm_52_2_177_203
ER  - 
%0 Journal Article
%A H. Keisler
%T A complete first-order logic with infinitary predicates
%J Fundamenta Mathematicae
%D 1963
%P 177-203
%V 52
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-52-2-177-203/
%R 10.4064/fm-52-2-177-203
%G en
%F 10_4064_fm_52_2_177_203
H. Keisler. A complete first-order logic with infinitary predicates. Fundamenta Mathematicae, Tome 52 (1963) no. 2, pp. 177-203. doi : 10.4064/fm-52-2-177-203. http://geodesic.mathdoc.fr/articles/10.4064/fm-52-2-177-203/

Cité par Sources :