Hodges, Wilfrid
Overview
Works:  30 works in 193 publications in 4 languages and 4,959 library holdings 

Genres:  Conference proceedings Popular works 
Roles:  Author, Editor, Creator 
Classifications:  QA9.7, 511.3 
Publication Timeline
.
Most widely held works by
Wilfrid Hodges
Model theory
by
Wilfrid Hodges(
)
33 editions published between 1992 and 2008 in English and Undetermined and held by 1,457 WorldCat member libraries worldwide
An uptodate and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with firstorder logic), and as a reference for more experienced logicians and mathematicians
33 editions published between 1992 and 2008 in English and Undetermined and held by 1,457 WorldCat member libraries worldwide
An uptodate and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with firstorder logic), and as a reference for more experienced logicians and mathematicians
Mathematical logic
by
Ian Chiswell(
)
16 editions published between 2007 and 2013 in English and held by 1,137 WorldCat member 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 firstorder logic.  ;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 firstorder logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is s
16 editions published between 2007 and 2013 in English and held by 1,137 WorldCat member 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 firstorder logic.  ;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 firstorder logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is s
Logic
by
Wilfrid Hodges(
Book
)
46 editions published between 1977 and 2001 in 4 languages and held by 560 WorldCat member libraries worldwide
If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material
46 editions published between 1977 and 2001 in 4 languages and held by 560 WorldCat member libraries worldwide
If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material
Conference in Mathematical Logic, London '70
by
Wilfrid Hodges(
Book
)
16 editions published in 1972 in English and Undetermined and held by 522 WorldCat member libraries worldwide
16 editions published in 1972 in English and Undetermined and held by 522 WorldCat member libraries worldwide
Logic, language, information and computation 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 14, 2008 : proceedings
by
Wilfrid Hodges(
)
15 editions published in 2008 in English and held by 463 WorldCat member libraries worldwide
Annotation Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in crossdisciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection
15 editions published in 2008 in English and held by 463 WorldCat member libraries worldwide
Annotation Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in crossdisciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection
Building models by games
by
Wilfrid Hodges(
Book
)
15 editions published between 1985 and 2006 in English and Spanish and held by 371 WorldCat member libraries worldwide
15 editions published between 1985 and 2006 in English and Spanish and held by 371 WorldCat member libraries worldwide
A shorter model theory
by
Wilfrid Hodges(
Book
)
17 editions published between 1997 and 2003 in English and held by 277 WorldCat member libraries worldwide
17 editions published between 1997 and 2003 in English and held by 277 WorldCat member libraries worldwide
Logic : from foundation to applications : European logic colloquium
by
Association for Symbolic Logic(
Book
)
11 editions published in 1996 in English and held by 137 WorldCat member libraries worldwide
11 editions published in 1996 in English and held by 137 WorldCat member libraries worldwide
[Proceedings]
by Conference in Mathematical Logic(
Book
)
2 editions published in 1972 in English and held by 6 WorldCat member libraries worldwide
2 editions published in 1972 in English and held by 6 WorldCat member libraries worldwide
Mathematical Logic. Oxford Texts in Logic, Volume 3
(
)
1 edition published in 2007 in English and held by 5 WorldCat member 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 firstorder logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is no general mechanical test for the existence of a derivation proving the given sequent. The undecidability results are proved rigorously in an optional final chapter, assuming Matiyasevich's theorem characterising the computably enumerable relations. Rigorous proofs of the adequacy and completeness proofs of the relevant logics are provided, with careful attention to the languages involved. Optional sections discuss the classification of mathematical structures by firstorder theories; the required theory of cardinality is developed from scratch.; Throughout the book there are notes on historical aspects of the material, and connections with linguistics and computer science, and the discussion of syntax and semantics is influenced by modern linguistic approaches. Two basic themes in recent cognitive science studies of actual human reasoning are also introduced. Including extensive exercises and selected solutions, this text is ideal for students in Logic, Mathematics, Philosophy, and Computer Science
1 edition published in 2007 in English and held by 5 WorldCat member 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 firstorder logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is no general mechanical test for the existence of a derivation proving the given sequent. The undecidability results are proved rigorously in an optional final chapter, assuming Matiyasevich's theorem characterising the computably enumerable relations. Rigorous proofs of the adequacy and completeness proofs of the relevant logics are provided, with careful attention to the languages involved. Optional sections discuss the classification of mathematical structures by firstorder theories; the required theory of cardinality is developed from scratch.; Throughout the book there are notes on historical aspects of the material, and connections with linguistics and computer science, and the discussion of syntax and semantics is influenced by modern linguistic approaches. Two basic themes in recent cognitive science studies of actual human reasoning are also introduced. Including extensive exercises and selected solutions, this text is ideal for students in Logic, Mathematics, Philosophy, and Computer Science
Mathematical logic : a course with exercises
by
René Cori(
Book
)
1 edition published in 2001 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 2001 in English and held by 4 WorldCat member libraries worldwide
Definability of a field in sufficiently rich incidence systems
by
E. D Rabinovich(
Book
)
2 editions published in 1993 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1993 in English and held by 2 WorldCat member libraries worldwide
Special issue: Workshop on Logic, Language, Information and Computation : [... a selection of papers presented at the 15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008), held at HeriotWatt University, Edinburgh from 1 to 4 July 2008]
(
Book
)
1 edition published in 2010 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2010 in English and held by 2 WorldCat member libraries worldwide
Conference in mathematical logic  London, 24th  28th August, 1970
(
Book
)
1 edition published in 1972 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1972 in English and held by 2 WorldCat member libraries worldwide
Workshop on Logic, Language, Information and Computation
by Language, Information and Computation Workshop on Logic(
)
1 edition published in 2010 in English and held by 1 WorldCat member library worldwide
1 edition published in 2010 in English and held by 1 WorldCat member library worldwide
Workshop on Logic, Language, Information and Computation : [... papers presented at the 15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008), held at HeriotWatt University, Edinburgh from 1 to 4 July 2008]
(
Book
)
1 edition published in 2010 in English and held by 1 WorldCat member library worldwide
1 edition published in 2010 in English and held by 1 WorldCat member library worldwide
Proceedings of the conference in mathematical logic, held at Bedford College, London on 24th28th August 1970
by Conference in Mathematical Logic(
Book
)
1 edition published in 1972 in English and held by 1 WorldCat member library worldwide
1 edition published in 1972 in English and held by 1 WorldCat member library worldwide
A thousand papers in model theory and algebra
by
Wilfrid Hodges(
Book
)
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
Games that solve problems
(
Visual
)
1 edition published in 1988 in English and held by 1 WorldCat member library worldwide
Mathematicians don't just solve problems. They also find methods for solving new kinds of problems. How can they do this? This lecture describes various attempts to answer this question during the last 150 years. One important recent approach is based on a kind of "spot the difference" game; simple examples are given. Prerequisites: an interest in abstract ideas and patterns
1 edition published in 1988 in English and held by 1 WorldCat member library worldwide
Mathematicians don't just solve problems. They also find methods for solving new kinds of problems. How can they do this? This lecture describes various attempts to answer this question during the last 150 years. One important recent approach is based on a kind of "spot the difference" game; simple examples are given. Prerequisites: an interest in abstract ideas and patterns
Proceedings of the conference in mathematical logic
by
Wilfrid Hodges(
Book
)
1 edition published in 1972 in German and held by 1 WorldCat member library worldwide
1 edition published in 1972 in German and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Useful Links
Associated Subjects
Artificial intelligence Computational linguistics Computer science Computer software Electronic data processing Game theory Geometry, Algebraic Information theory Logic Logic, Symbolic and mathematical Mathematical models Mathematical recreations Mathematics Model theory Philosophy Problem solvingMathematical models