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

Hedman, Shawn

 
9780198529811: A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Couverture souple
ISBN 10 : 0198529813 ISBN 13 : 9780198529811
Editeur : OUP Oxford, 2004

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Revue de presse

'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)

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
OUP Oxford
Date d'édition
2004
Langue
anglais
ISBN 10 
0198529813
ISBN 13 
9780198529811
Reliure
Broché
Nombre de pages
431
Coordonnées du fabricant
non disponible
Personne responsable
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italie

Autres éditions populaires du même titre

9780198529804: A First Course In Logic: An Introduction To Model Theory, Proof Theory, Computability, And Complexity

Edition présentée

ISBN 10 :  0198529805 ISBN 13 :  9780198529804
Editeur : Oxford University Press, 2004
Couverture rigide