Buch, Englisch, 452 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 774 g
Reihe: Oxford Texts in Logic
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Buch, Englisch, 452 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 774 g
Reihe: Oxford Texts in Logic
ISBN: 978-0-19-852981-1
Verlag: OUP Oxford
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic,
as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
Zielgruppe
Year 3 and 4 undergraduates of mathematics, logic, computer science and philosophy.
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
