Verwandte Artikel zu Basic Proof Theory 2nd Edition Paperback: 43 (Cambridge...

Basic Proof Theory 2nd Edition Paperback: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43) - Softcover

 
9780521779111: Basic Proof Theory 2nd Edition Paperback: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Inhaltsangabe

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.

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

Über die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagCambridge University Press
  • Erscheinungsdatum2008
  • ISBN 10 0521779111
  • ISBN 13 9780521779111
  • EinbandTapa blanda
  • SpracheEnglisch
  • Auflage2
  • Anzahl der Seiten432
  • Kontakt zum HerstellerNicht verfügbar

EUR 5,91 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

Suchergebnisse für Basic Proof Theory 2nd Edition Paperback: 43 (Cambridge...

Beispielbild für diese ISBN

Troelstra, A. S.; Schwichtenberg, H.
ISBN 10: 0521779111 ISBN 13: 9780521779111
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Artikel-Nr. ria9780521779111_new

Verkäufer kontaktieren

Neu kaufen

EUR 64,65
Währung umrechnen
Versand: EUR 5,91
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Anne S. Troelstra
ISBN 10: 0521779111 ISBN 13: 9780521779111
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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. Artikel-Nr. 9780521779111

Verkäufer kontaktieren

Neu kaufen

EUR 93,52
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

A. S. Troelstra/ H. Schwichtenberg/ Anne S. Troelstra
Verlag: Cambridge Univ Pr, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock. Artikel-Nr. x-0521779111

Verkäufer kontaktieren

Neu kaufen

EUR 92,43
Währung umrechnen
Versand: EUR 11,86
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb