Sökt på: Sökresultat
totalt 14 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 …
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 …
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
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 …
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 …
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
A Shorter Model Theory
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 …