A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic, Band 1) - Hardcover

Hedman, Shawn

 
9780198529804: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic, Band 1)
Hardcover
ISBN 10: 0198529805 ISBN 13: 9780198529804
Verlag: OXFORD UNIV PR, 2004

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
OXFORD UNIV PR
Erscheinungsdatum
2004
Sprache
Englisch
ISBN 10 
0198529805
ISBN 13 
9780198529804
Einband
Gebundene Ausgabe
Anzahl der Seiten
452
Kontakt zum Hersteller
ORIGINAL KAISER
https://corp.oup.com/

Via Liguria 4
San Giuliano Milanese
MI
20098
Italien

Weitere beliebte Ausgaben desselben Titels

9780198529811: A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... Complexity (Oxford Texts in Logic, Band 1)

Vorgestellte Ausgabe

ISBN 10:  0198529813 ISBN 13:  9780198529811
Verlag: OUP Oxford, 2004
Softcover