Hodges, Wilfrid

Logic by Wilfrid Hodges ( Book )
26 editions published between 1977 and 2001 in 3 languages and held by 477 libraries worldwide

Model theory by Wilfrid Hodges ( Book )
18 editions published between 1992 and 2008 in English and Undetermined and held by 449 libraries worldwide

Conference in Mathematical Logic, London '70 by Conference in Mathematical Logic ( Book )
5 editions published in 1972 in English and held by 392 libraries worldwide

Mathematical logic by Ian Chiswell ( Book )
14 editions published in 2007 in English and held by 371 libraries worldwide
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.

Building models by games by Wilfrid Hodges ( Book )
8 editions published between 1985 and 2006 in English and held by 347 libraries worldwide

Logic, language, information and computation 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings by Language, Information and Computation Workshop on Logic ( Book )
2 editions published in 2008 in English and held by 265 libraries worldwide

A shorter model theory by Wilfrid Hodges ( Book )
6 editions published between 1997 and 2003 in English and held by 248 libraries worldwide

Logic : from foundation to applications : European logic colloquium ( Book )
2 editions published in 1996 in English and held by 107 libraries worldwide

Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings by Language, Information and Computation Workshop on Logic ( Book )
2 editions published in 2008 in English and held by 50 libraries worldwide

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings ( Book )
3 editions published in 2008 in English and held by 17 libraries worldwide