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

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, ... Complexity (Oxford Texts in Logic, Band 1)
Softcover
ISBN 10: 0198529813 ISBN 13: 9780198529811
Verlag: OUP Oxford, 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
OUP Oxford
Erscheinungsdatum
2004
Sprache
Englisch
ISBN 10 
0198529813
ISBN 13 
9780198529811
Einband
Taschenbuch
Anzahl der Seiten
431
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0198529805 ISBN 13:  9780198529804
Verlag: OXFORD UNIV PR, 2004
Hardcover