An addition to “logic of many-sorted theories”
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
Fitch, Frederic B. (1948)
Portugaliae mathematica
Similarity:
Daniel Leivant (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
P. C. Gilmore (1968)
Compositio Mathematica
Similarity:
Alberto Zanardo (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity: