An addition to “logic of many-sorted theories”
Compositio Mathematica (1956-1958)
- Volume: 13, page 277-281
- ISSN: 0010-437X
Access Full Article
top
How to cite
topGilmore, P. C.. "An addition to “logic of many-sorted theories”." Compositio Mathematica 13 (1956-1958): 277-281. <http://eudml.org/doc/88842>.
@article{Gilmore1956-1958,
author = {Gilmore, P. C.},
journal = {Compositio Mathematica},
keywords = {mathematical logic},
language = {eng},
pages = {277-281},
publisher = {Kraus Reprint},
title = {An addition to “logic of many-sorted theories”},
url = {http://eudml.org/doc/88842},
volume = {13},
year = {1956-1958},
}
TY - JOUR
AU - Gilmore, P. C.
TI - An addition to “logic of many-sorted theories”
JO - Compositio Mathematica
PY - 1956-1958
PB - Kraus Reprint
VL - 13
SP - 277
EP - 281
LA - eng
KW - mathematical logic
UR - http://eudml.org/doc/88842
ER -
References
top- Hao Wang, [1] Logic of many-sorted theories, the Journal of Symbolic Logic, vol. 17 (1952), pp. 105—116. Zbl0049.14802
- Arnold Schmidt, [2] Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik, Mathematische Annalen, Vol. 123 (1951), pp. 187—200. Zbl0042.00605
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.