Toggle navigation
Revues
Livres
Sources
français
English
Tout
Tout
Auteur
Titre
Bibliographie
Inclure les e-prints dans la recherche (arXiv, HAL)
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Plein texte
Liste des citations dans Numdam pour :
ω
-satisfiability,
ω
-consistency property, and the downward Lowenheim Skolem theorem for
L
k
,
k
Rendiconti del Seminario Matematico della Università di Padova,
Tome 68
(1982),
p. 7-19
/ Harvested from
Numdam
Ferro, Ruggero
Seq-consistency property and interpolation theorems
Rendiconti del Seminario Matematico della Università di Padova,
Tome 70
(1983),
p. 133-145
/ Harvested from
Numdam