TY -
GEN
AU - Shelah, Saharon
TI -
Hanf number of omitting type for simple first-order theories
PB - Cambridge University Press (CUP)
SN - 1943-5886
SN - 0022-4812
KW - Logic
KW - Philosophy
PY - 1979
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -