Wilfrid Hodges – författare
Visar alla böcker från författaren Wilfrid Hodges. Handla med fri frakt och snabb leverans.
16 produkter
Logic
E-bok, 2001
105 kr
Lägg i varukorg
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 …
Logic
Häftad, 2001
3,0 utav 5 stjärnor. Totalt antal röster: (1)
152 kr
Lägg i varukorg
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 …
Mathematical Logic
Av Wilfrid Hodges, Ian Chiswell
E-bok, 2007
582 kr
Lägg i varukorg
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. At each stage of the text, the reader is given an …
Logic: From Foundations to Applications
European Logic Colloquium
Av Wilfrid Hodges, Martin Hyland m. fl.
Inbunden, 1996
638 kr
Lägg i varukorg
This book contains twenty-one essays by leading authorities on aspects of contemporary logic, ranging from foundations of set theory to applications of logic in computing and in the theory of fields.In those parts of logic closest to computer science, the gap between foundations and applications is …
Mathematical Logic
Av Ian Chiswell, Wilfrid Hodges
Inbunden, 2007
3315 kr
Lägg i varukorg
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. At each stage of the text, the reader is given an …
Mathematical Logic
Av Ian Chiswell, Wilfrid Hodges
Häftad, 2007
1500 kr
Lägg i varukorg
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. At each stage of the text, the reader is given an …
Model Theory
Häftad, 2008
1242 kr
Lägg i varukorg
This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, …
Model Theory
Inbunden, 1993
3991 kr
Lägg i varukorg
This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, …
A Shorter Model Theory
Häftad, 1997
1139 kr
Lägg i varukorg
This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the …
Al-Farabi, Syllogism: An Abridgement of Aristotle’s Prior Analytics
Av Saloua Chatti, Wilfrid Hodges
Inbunden, 2020
1569 kr
Lägg i varukorg
The philosopher Abu Nasr al-Farabi (c. 870-c. 950 CE) is a key Arabic intermediary figure. He knew Aristotle, and in particular Aristotle’s logic, through Greek Neoplatonist interpretations translated into Arabic via Syriac and possibly Persian. For example, he revised a general description of …
Al-Farabi, Syllogism: An Abridgement of Aristotle’s Prior Analytics
Av Saloua Chatti, Wilfrid Hodges
E-bok, 2020
499 kr
Lägg i varukorg
The philosopher Abu Nasr al-Farabi (c. 870-c. 950 CE) is a key Arabic intermediary figure. He knew Aristotle, and in particular Aristotle''s logic, through Greek Neoplatonist interpretations translated into Arabic via Syriac and possibly Persian. For example, he revised a general description of …
Al-Farabi, Syllogism: An Abridgement of Aristotle’s Prior Analytics
Av Saloua Chatti, Wilfrid Hodges
E-bok, 2020
499 kr
Lägg i varukorg
The philosopher Abu Nasr al-Farabi (c. 870-c. 950 CE) is a key Arabic intermediary figure. He knew Aristotle, and in particular Aristotle''s logic, through Greek Neoplatonist interpretations translated into Arabic via Syriac and possibly Persian. For example, he revised a general description of …
Al-Farabi, Syllogism: An Abridgement of Aristotle’s Prior Analytics
Av Saloua Chatti, Wilfrid Hodges
Häftad, 2022
461 kr
Lägg i varukorg
The philosopher Abu Nasr al-Farabi (c. 870-c. 950 CE) is a key Arabic intermediary figure. He knew Aristotle, and in particular Aristotle’s logic, through Greek Neoplatonist interpretations translated into Arabic via Syriac and possibly Persian. For example, he revised a general description of …
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
Av Peter Schroeder-Heister, Gerhard Heinzmann m. fl.
Häftad, 2015
284 kr
Lägg i varukorg
Logic, Language, Information and Computation
15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
Av Ruy de Queiroz, Wilfrid Hodges
E-bok, 2008
1027 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th 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 …
