-satisfiability, -consistency property, and the downward Lowenheim Skolem theorem for
Ruggero Ferro (1982)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Ruggero Ferro (1982)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Stefano Baratella (1989)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Ruggero Ferro (1976)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Ruggero Ferro (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
E. Lopez-Escobar (1966)
Fundamenta Mathematicae
Similarity:
G. Cherlin (1975)
Fundamenta Mathematicae
Similarity:
Milan Grulović (2001)
Publications de l'Institut Mathématique
Similarity:
Ruggero Ferro (1983)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
W. Hanf (1964)
Fundamenta Mathematicae
Similarity:
M. Makkai (1965)
Fundamenta Mathematicae
Similarity: