9 works on record
A shorter model theory
1997
Model theory
1993
Building models by games
1985
Logic
1977
Mathematical logic
Model Theory (Encyclopedia of Mathematics and its Applications)
Al-Farabi, Syllogism
Mathematical Logic. Oxford Texts in Logic, Volume 3
