Hodges, Wilfrid
Overview
Works:  58 works in 251 publications in 5 languages and 5,452 library holdings 

Genres:  Conference proceedings Parodies, imitations, etc History Trials, litigation, etc 
Roles:  Author, Editor, Creator, Printer, Author of introduction 
Classifications:  QA9.7, 511.3 
Publication Timeline
.
Most widely held works about
Wilfrid Hodges
 Hodges, W by Mary Sayre Haverstock( )
 The Hodges hanging by Barbara Howard( Book )
Most widely held works by
Wilfrid Hodges
Logic by
Wilfrid Hodges(
Book
)
48 editions published between 1977 and 2001 in 4 languages and held by 565 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
48 editions published between 1977 and 2001 in 4 languages and held by 565 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
)
35 editions published between 1992 and 2008 in English and Undetermined and held by 533 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
35 editions published between 1992 and 2008 in English and Undetermined and held by 533 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
Conference in Mathematical Logic, London '70 by
Wilfrid Hodges(
Book
)
20 editions published between 1972 and 2008 in English and Undetermined and held by 414 WorldCat member libraries worldwide
20 editions published between 1972 and 2008 in English and Undetermined and held by 414 WorldCat member libraries worldwide
Building models by games by
Wilfrid Hodges(
Book
)
16 editions published between 1985 and 2006 in English and Spanish and held by 361 WorldCat member libraries worldwide
16 editions published between 1985 and 2006 in English and Spanish and held by 361 WorldCat member libraries worldwide
A shorter model theory by
Wilfrid Hodges(
Book
)
20 editions published between 1997 and 2003 in English and held by 283 WorldCat member libraries worldwide
20 editions published between 1997 and 2003 in English and held by 283 WorldCat member libraries worldwide
Mathematical logic by
Ian Chiswell(
Book
)
17 editions published between 2007 and 2013 in English and held by 193 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 held by 193 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
)
12 editions published between 1996 and 2011 in English and held by 139 WorldCat member libraries worldwide
12 editions published between 1996 and 2011 in English and held by 139 WorldCat member libraries worldwide
Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 14, 2008 : proceedings by
Wilfrid Hodges(
Book
)
15 editions published in 2008 in English and held by 87 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 87 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
Infant baptism tested by scripture and history : or, the infants claim to church membership defended and established, on testimony
scriptural and historical by
Wilfrid Hodges(
Book
)
2 editions published in 1844 in English and held by 34 WorldCat member libraries worldwide
2 editions published in 1844 in English and held by 34 WorldCat member libraries worldwide
An historical account of Ludlow Castle : the ancient palace of the Princes of Wales, and supreme court of judicature of the
president and council of the Welsh marches. ... By W. Hodges by
Wilfrid Hodges(
Book
)
13 editions published between 1794 and 2011 in English and held by 19 WorldCat member libraries worldwide
13 editions published between 1794 and 2011 in English and held by 19 WorldCat member libraries worldwide
Maori conservation ethic : a Ngati Kahungunu perspective by
Wilfrid Hodges(
Book
)
1 edition published in 1994 in English and held by 11 WorldCat member libraries worldwide
1 edition published in 1994 in English and held by 11 WorldCat member libraries worldwide
Preparation of boron trifluoride for use in neutron counters by
Wilfrid Hodges(
Book
)
2 editions published in 1949 in English and held by 7 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
2 editions published in 1949 in English and held by 7 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 7 WorldCat member libraries worldwide
2 editions published in 1972 in English and held by 7 WorldCat member libraries worldwide
Baptism tested by scripture and history : or the teaching of the Holy Scriptures, and the practice and teaching of the Christian
church in every age succeeding the Apostolic, compared in relation to the subjects and modes of baptism by
William Hodges(
Book
)
2 editions published between 1858 and 1874 in English and held by 3 WorldCat member libraries worldwide
2 editions published between 1858 and 1874 in English and held by 3 WorldCat member libraries worldwide
Logic and philosophy of science in Nancy : selected contributed papers from the 14th International Congress of logic, methodology
and philosophy of science 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
Hai tou Anakreontos ōdai, kai ta tēs Sapphous, kai ta tou Alkaiou leipsana by
Anacreon(
Book
)
1 edition published in 1796 in Greek, Ancient and held by 2 WorldCat member libraries worldwide
1 edition published in 1796 in Greek, Ancient and held by 2 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
Letter from William and Rachel Hodges, Rusk River, Pierce County, Wisconsin, to Mr. James Comer : by
Wilfrid Hodges(
Book
)
1 edition published in 1856 in English and held by 2 WorldCat member libraries worldwide
Letter written by Hodges describing pioneer conditions in Pierce County, Wisconsin
1 edition published in 1856 in English and held by 2 WorldCat member libraries worldwide
Letter written by Hodges describing pioneer conditions in Pierce County, Wisconsin
Report of the case of the Queen v. Lumsdaine with observations on the parochial assessment act by George Lumsdaine(
)
1 edition published in 1839 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 1839 in English and held by 0 WorldCat member libraries worldwide
Mathematical Logic. Oxford Texts in Logic, Volume 3(
)
1 edition published in 2007 in English and held by 0 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 0 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
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Useful Links
Associated Subjects
Anacreon Artificial intelligence Baptism Boron trifluoride Computational linguistics Computer science Computer software Danites Electronic data processing Environmental ethics Environmental protectionCitizen participation Game theory Great Britain Greek poetry Infant baptism Information theory Logic Logic, Symbolic and mathematical Ludlow (England) Mathematical models Mathematics Model theory Neutron counters New Zealand Parodies Philosophy Pioneers Poor Poor laws Railroads South AfricaCape of Good Hope WisconsinPierce County
Alternative Names
Hodges, W.
Hodges, Wilfred
Hodges, Wilfred 1941
Wilfrid Hodges britischer Mathematiker
Wilfrid Hodges British mathematician
Wilfrid Hodges Brits wiskundige
Languages
Covers