Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 66,21
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 96,38
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press, 2002
ISBN 10: 0521779111 ISBN 13: 9780521779111
Anbieter: moluna, Greven, Deutschland
Zustand: New. This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 432 pages, 3 b/w illus. 201 exercises. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 153 x 26. Weight in Grams: 656. Series: Cambridge Tracts in Theoretical Computer Science. 432 pages, 3 b/w illus. 201 exercises. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA. Dimension: 229 x 153 x 26. Weight: 668. Series Editor(s) :Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P.H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J.V. . 2000. 2nd Edition. Paperback. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Sprache: Deutsch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521779111 ISBN 13: 9780521779111
Anbieter: book-link, Nufringen, BW, Deutschland
paperback. Zustand: Sehr gut. 432 Seiten; *** Second Edition, 2000! Top Zustand! M25-07-O-07-VG Sprache: Deutsch Gewicht in Gramm: 1.