Verwandte Artikel zu A First Course in Logic: An Introduction to Model Theory,...

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