Oxford University Press , Oxford Texts in Logic Malicorne sur Sarthe, 72, Pays de la Loire, France 2004 Book condition, Etat : Très Bon paperback, editor's printed and illustrated wrappers grand In-8 1 vol. - 451 pages
1st paperback Contents, Chapitres : Acknowledgments, Contents, Preliminaries, xx, Text, 431 pages - Propositional logic - Structures and first-order logic - Proof theory - Properties of first-order logic - First-order theories - Models of countable theories - Computability and complexity - The incompleteness theorems - Beyond first-order logic - Finite model theory - Bibliography and index Near fine copy, no markings