Hodges, Wilfrid
Overview
Works:  50 works in 261 publications in 4 languages and 5,914 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Other, Printer, Artist, Author of introduction 
Publication Timeline
.
Most widely held works by
Wilfrid Hodges
Logic by
Wilfrid Hodges(
Book
)
57 editions published between 1977 and 2001 in 4 languages and held by 600 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
57 editions published between 1977 and 2001 in 4 languages and held by 600 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
Model theory by
Wilfrid Hodges(
Book
)
36 editions published between 1992 and 2009 in English and Undetermined and held by 561 WorldCat member libraries worldwide
"This is 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." "Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference."Jacket
36 editions published between 1992 and 2009 in English and Undetermined and held by 561 WorldCat member libraries worldwide
"This is 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." "Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference."Jacket
Conference in Mathematical Logic, London '70 by
Wilfrid Hodges(
Book
)
26 editions published between 1972 and 2008 in English and Undetermined and held by 436 WorldCat member libraries worldwide
26 editions published between 1972 and 2008 in English and Undetermined and held by 436 WorldCat member libraries worldwide
Building models by games by
Wilfrid Hodges(
Book
)
17 editions published between 1985 and 2006 in English and Spanish and held by 378 WorldCat member libraries worldwide
17 editions published between 1985 and 2006 in English and Spanish and held by 378 WorldCat member libraries worldwide
A shorter model theory by
Wilfrid Hodges(
Book
)
23 editions published between 1997 and 2003 in English and held by 302 WorldCat member libraries worldwide
23 editions published between 1997 and 2003 in English and held by 302 WorldCat member libraries worldwide
Mathematical logic by
Ian Chiswell(
Book
)
17 editions published between 2007 and 2013 in English and Undetermined and held by 201 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
17 editions published between 2007 and 2013 in English and Undetermined and held by 201 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
Logic : from foundation to applications : European logic colloquium by
Association for Symbolic Logic(
Book
)
11 editions published between 1996 and 2011 in English and held by 149 WorldCat member libraries worldwide
11 editions published between 1996 and 2011 in English and held by 149 WorldCat member libraries worldwide
Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 14, 2008 : proceedings by
David Hutchison(
Book
)
14 editions published in 2008 in English and held by 70 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
14 editions published in 2008 in English and held by 70 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
Model theory by
Wilfrid Hodges(
Book
)
7 editions published between 1992 and 2008 in English and Undetermined and held by 24 WorldCat member libraries worldwide
This is 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. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference
7 editions published between 1992 and 2008 in English and Undetermined and held by 24 WorldCat member libraries worldwide
This is 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. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference
Maori conservation ethic : a Ngati Kahungunu perspective by
Wilfrid Hodges(
Book
)
1 edition published in 1994 in English and held by 10 WorldCat member libraries worldwide
1 edition published in 1994 in English and held by 10 WorldCat member libraries worldwide
Preparation of boron trifluoride for use in neutron counters by
Wilfrid Hodges(
Book
)
3 editions published between 1948 and 1949 in English and held by 8 WorldCat member libraries worldwide
Boron trifluoride is used as the filling gas in ionization chambers and in proportional counters used for counting neutrons. The predominant reaction in these chambers is the (nalpha) reaction on B(10) with thermal neutrons. Since the performance of counters filled with BF3 is strongly dependent on the quality of the gas, an understanding of this dependence is helpful. While this subject is by no means completely understood, the following discussion summarizes some general information pertinent to this question
3 editions published between 1948 and 1949 in English and held by 8 WorldCat member libraries worldwide
Boron trifluoride is used as the filling gas in ionization chambers and in proportional counters used for counting neutrons. The predominant reaction in these chambers is the (nalpha) reaction on B(10) with thermal neutrons. Since the performance of counters filled with BF3 is strongly dependent on the quality of the gas, an understanding of this dependence is helpful. While this subject is by no means completely understood, the following discussion summarizes some general information pertinent to this question
[Proceedings] by Conference in Mathematical Logic(
Book
)
2 editions published in 1972 in English and held by 8 WorldCat member libraries worldwide
2 editions published in 1972 in English and held by 8 WorldCat member libraries worldwide
Logic, language, information and computation 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1  4, 2008 ; proceedings(
)
2 editions published in 2008 in English and held by 8 WorldCat member libraries worldwide
2 editions published in 2008 in English and held by 8 WorldCat member libraries worldwide
Mathematical logic by CONFERENCE IN MATHEMATICAL LOGIC(
Book
)
3 editions published in 1972 in English and Undetermined and held by 4 WorldCat member libraries worldwide
3 editions published in 1972 in English and Undetermined and held by 4 WorldCat member libraries worldwide
Conference in mathematical logic  London, 24th  28th August, 1970(
Book
)
2 editions published in 1972 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1972 in English and held by 3 WorldCat member libraries worldwide
Modelltheorie : 10.1. bis 16.1.1988(
Book
)
2 editions published in 1988 in German and held by 3 WorldCat member libraries worldwide
G. Ahlbrandt, Ypsilanti; A. Baudisch, Berlin; W. Baur, Konstanz; E. Bouscaren, Paris; S. Buechler, Milwaukee; G. Cherlin, New Brunswick; F. Delon, Paris; M. A. Dickmann, Paris; L. P. D. van den Dries, Urbana; J. L. Duret, Angers; H.O. Ebbinghaus, Freiburg; P. C. Eklof, Irvine; Yu. L. Ershov, Novisibirsk; D. M. Evans, London; U. Felgner, Tübingen; R. Gäbel, Essen; F. Haug, Tübingen; W. A. Hodges, London; C. U. Jenssn, Kopenhagen, O.H. Kegel, Freiburg; M. Knebusch, Regensburg; U. M. KUnzi, Bonn; F.V. Kuhlmann, Heidelberg; A. H. Lachlan, Burnaby; H. Lenzing, Paderborn; E. A. Paljutin, Novosibirsk; A. Pillay, Notre Dame; F. Point, Berkeley; B. Poizat, Villeurbanne; K. Potthoff, Kiel; M. Prest, Manchster; A. Prestel, Kostanz; J. Reineke, Hannover; C.M. Ringel, Bielefeld; P. Rothmaler, Kiel; 6. Sabbagh, Paris; K. Schmidt6öttsch, Kiel; G. Srour, Columbia; S. Thomas, New Brunswick; S. Tulipani, Camerino; F. Vogt, Hannover; V. Weispfenning, Passau; C. Wood, Middletown; M. Ziegler, Bonn
2 editions published in 1988 in German and held by 3 WorldCat member libraries worldwide
G. Ahlbrandt, Ypsilanti; A. Baudisch, Berlin; W. Baur, Konstanz; E. Bouscaren, Paris; S. Buechler, Milwaukee; G. Cherlin, New Brunswick; F. Delon, Paris; M. A. Dickmann, Paris; L. P. D. van den Dries, Urbana; J. L. Duret, Angers; H.O. Ebbinghaus, Freiburg; P. C. Eklof, Irvine; Yu. L. Ershov, Novisibirsk; D. M. Evans, London; U. Felgner, Tübingen; R. Gäbel, Essen; F. Haug, Tübingen; W. A. Hodges, London; C. U. Jenssn, Kopenhagen, O.H. Kegel, Freiburg; M. Knebusch, Regensburg; U. M. KUnzi, Bonn; F.V. Kuhlmann, Heidelberg; A. H. Lachlan, Burnaby; H. Lenzing, Paderborn; E. A. Paljutin, Novosibirsk; A. Pillay, Notre Dame; F. Point, Berkeley; B. Poizat, Villeurbanne; K. Potthoff, Kiel; M. Prest, Manchster; A. Prestel, Kostanz; J. Reineke, Hannover; C.M. Ringel, Bielefeld; P. Rothmaler, Kiel; 6. Sabbagh, Paris; K. Schmidt6öttsch, Kiel; G. Srour, Columbia; S. Thomas, New Brunswick; S. Tulipani, Camerino; F. Vogt, Hannover; V. Weispfenning, Passau; C. Wood, Middletown; M. Ziegler, Bonn
Logic, methodology and philosophy of science proceedings of the 14th international congress (Nancy) : logic and science facing
the new technologies by Methodology and Philosophy of Science International Congress of Logic(
Book
)
1 edition published in 2014 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 2014 in English and held by 3 WorldCat member libraries worldwide
Report by
Cape of Good Hope (Colony)(
Book
)
2 editions published in 1868 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1868 in English and held by 2 WorldCat member libraries 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] by Language, Information and Computation Workshop on Logic(
Book
)
2 editions published in 2010 in English and held by 1 WorldCat member library worldwide
2 editions published in 2010 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Useful Links
Associated Subjects
AlgebraData processing Algorithms Artificial intelligence Boron trifluoride Computational complexity Computational linguistics Computer logic Computer science Computer scienceMathematics Computer software Electronic data processing Environmental ethics Environmental protectionCitizen participation Formal methods (Computer science) Game theory Information theory Language and logic Logic Logic, Symbolic and mathematical Logic design Mathematical models Mathematics Modality (Logic) Model theory Neutron counters New Zealand Philosophy Programming languages (Electronic computers) Railroads ScienceMethodology SciencePhilosophy South AfricaCape of Good Hope
Alternative Names
Hodges, W.
Hodges, Wilfred
Hodges, Wilfred 1941
Wilfrid Hodges britischer Mathematiker
Wilfrid Hodges Brits wiskundige
Wilfrid Hodges matemático británico
Wilfrid Hodges mathématicien britannique
Уилфрид Ходжес британский математик
Languages
Covers