Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Verlag: Cambridge University Press, 2000
ISBN 10: 0521779111ISBN 13: 9780521779111
Anbieter: Better World Books, Mishawaka, IN, USA
Buch
Zustand: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
Verlag: Cambridge University Press, 2008
ISBN 10: 0521779111ISBN 13: 9780521779111
Anbieter: Monster Bookshop, Fleckney, Vereinigtes Königreich
Buch
paperback. Zustand: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE.
Verlag: Cambridge University Press, 2000
ISBN 10: 0521779111ISBN 13: 9780521779111
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
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.
Verlag: Cambridge University Press, 2002
ISBN 10: 0521779111ISBN 13: 9780521779111
Anbieter: moluna, Greven, Deutschland
Buch
Kartoniert / Broschiert. 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.