Sökt på: Böcker av Wilfrid Hodges
totalt 15 träffar
Mathematical 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 …
Al-Farabi, Syllogism: An Abridgement of Aristotle’s Prior Analytics
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 …
Logic, Language, Information and Computation
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 …
Model Theory
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 …
Logic: From Foundations to Applications
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 …
Common British Birds
Mathematical 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 …
Al-Farabi, Syllogism: An Abridgement of Aristotle s Prior Analytics
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 …
Model Theory
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 …