Wilfrid Hodges

• Logic
• A shorter model theory
• Logic
• Al-Farabi, Syllogism
• Building models by games
• Mathematical logic
• Model theory
• Model Theory (Encyclopedia of Mathematics and its Applications)
• Mathematical Logic. Oxford Texts in Logic, Volume 3