Geodesic
An addition to “logic of many-sorted theories”
Compositio Mathematica, Tome 13 (1956-1958), pp. 277-281 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@article{CM_1956-1958__13__277_0,
     author = {Gilmore, P. C.},
     title = {An addition to {\textquotedblleft}logic of many-sorted theories{\textquotedblright}},
     journal = {Compositio Mathematica},
     pages = {277--281},
     year = {1956-1958},
     publisher = {Kraus Reprint},
     volume = {13},
     mrnumber = {106176},
     zbl = {0149.24502},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CM_1956-1958__13__277_0/}
}
TY  - JOUR
AU  - Gilmore, P. C.
TI  - An addition to “logic of many-sorted theories”
JO  - Compositio Mathematica
PY  - 1956-1958
SP  - 277
EP  - 281
VL  - 13
PB  - Kraus Reprint
UR  - http://geodesic.mathdoc.fr/item/CM_1956-1958__13__277_0/
LA  - en
ID  - CM_1956-1958__13__277_0
ER  - 
%0 Journal Article
%A Gilmore, P. C.
%T An addition to “logic of many-sorted theories”
%J Compositio Mathematica
%D 1956-1958
%P 277-281
%V 13
%I Kraus Reprint
%U http://geodesic.mathdoc.fr/item/CM_1956-1958__13__277_0/
%G en
%F CM_1956-1958__13__277_0
Gilmore, P. C. An addition to “logic of many-sorted theories”. Compositio Mathematica, Tome 13 (1956-1958), pp. 277-281. http://geodesic.mathdoc.fr/item/CM_1956-1958__13__277_0/