A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Shawn Hedman

ISBN 10: 0198529813 / ISBN 13: 9780198529811

Editore: OUP Oxford, 2004

Riguardo questo articolo

nach der Bestellung gedruckt Neuware - Printed after ordering - 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.

Codice articolo 9780198529811

Dati bibliografici

• Titolo: A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity
• Editore: OUP Oxford
• Data di pubblicazione: 2004
• Lingua: Inglese
• ISBN 10: 0198529813
• ISBN 13: 9780198529811
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 244 L x 170 A x 25 P (millimetri) 244 millimetri di larghezza per 170 millimetri di altezza per 25 millimetri di profondità
• Peso: 774 grammi

Descrizione articolo

Riassunto

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.

Recensione

'a clear and unifying treatment of fundamental concepts underlying Computer Sciences and Foundations of Mathematics' Professor Boris Zilber (Professor of Mathematical Logic, University of Oxford)

'an excellent book' Professor Dov Gabbay (King's College, London)