First Course in Logic - An Introduction to Model Theory, Proof Theory, Computability,

Zusatztext 'an excellent book' Professor Dov Gabbay (King's College! London) Klappentext 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. Zusammenfassung Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course. Inhaltsverzeichnis Preliminaries 1: Propositional Logic 2: Structures and First-Order Logic 3: Proof Theory 4: Properties of First-Order Logic 5: First-Order Theories 6: Models of Countable Theories 7: Computability and Complexity 8: The Incompleteness Theorems 9: Beyond First-Order Logic 10: Finite Model Theory Bibliography Index

Product details

• Authors: Shawn Hedman, Shawn (Department of Mathematics Hedman, Hedman Shawn
• Publisher: Oxford University Press
• Languages: English
• Product format: Paperback / Softback
• Released: 08.07.2004
• EAN: 9780198529811
• ISBN: 978-0-19-852981-1
• No. of pages: 452
• Series: OXFORD TEXTS IN LOGIC; OXFORD TEXTS IN LOGIC
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Natural sciences, medicine, IT, technology > Mathematics > Basic principles; PHILOSOPHY / Logic, MATHEMATICS / History & Philosophy, MATHEMATICS / Logic, COMPUTERS / Machine Theory, Philosophy of Mathematics, Mathematical theory of computation, Mathematical logic, Philosophy: logic