Verwandte Artikel zu Proof Theory: A selection of papers from the Leeds...
Inhaltsangabe
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 51,68
EUR 5,74 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Proof Theory: A selection of papers from the Leeds...
Beispielbild für diese ISBN
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990.
Verlag:
Cambridge University Press., 1993
ISBN 10: 0521054168
ISBN 13: 9780521054164
Gebraucht
Softcover
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
1. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Artikel-Nr. 45596HB
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9780521054164_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Proof Theory : A Selection of Papers from the Leeds Proof Theory Programme 1990
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory. Artikel-Nr. 9780521054164
Anzahl: 1 verfügbar