Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) - Hardcover

Troelstra, A. S.; Schwichtenberg, H.

 
9780521572231: Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
Hardcover
ISBN 10: 0521572231 ISBN 13: 9780521572231
Verlag: Cambridge University Press, 1996

Inhaltsangabe

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.

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

Verlag
Cambridge University Press
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
0521572231
ISBN 13 
9780521572231
Einband
Gebundene Ausgabe
Anzahl der Seiten
343
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich

Weitere beliebte Ausgaben desselben Titels

9780521779111: Basic Proof Theory 2ed (Cambridge Tracts in Theoretical Computer Science, 43)

Vorgestellte Ausgabe

ISBN 10:  0521779111 ISBN 13:  9780521779111
Verlag: Cambridge University Press, 2008
Softcover