Wilfrid Hodges

Al-Farabi, Syllogism

2022

Model Theory (Encyclopedia of Mathematics and its Applications)

2008

Mathematical Logic. Oxford Tex

Mathematical Logic. Oxford Texts in Logic, Volume 3

2007

A shorter model theory

1997

Model theory

1993

Building models by games

1985