共 69 条
[2]
Andréka H, 2005, MATH LOGIC QUART, V51, P591, DOI 10.1002/malq.200410051/www.mlq-journal.org
[3]
Andrews P.B, 2002, INTRO MATH LOGIC TYP, V27
[4]
[Anonymous], 1990, MODEL THEORY
[5]
[Anonymous], MONOGRAPHS MODERN LO
[6]
[Anonymous], 1993, MODEL THEORY
[7]
[Anonymous], KSIGA PAMITKOWA MARI
[8]
[Anonymous], 1994, WORDS LIFE
[9]
[Anonymous], 1974, SYNTHESE, DOI DOI 10.1007/BF00883104
[10]
[Anonymous], 1974, STRUCTURE SCI THEORI