ISBN: 9780521414135 - proof theory: a selection of papers from the leeds proof theory programme 1990 (5 Ergebnisse)
- Hardcover
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes KönigreichFireside Bookshop
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: PBFA
Zustand: Gebraucht - Gut
EUR 61,49
EUR 29,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Cloth/Laminated Boards. Zustand: Very Good. Zustand des Schutzumschlags: No d/j as Published. Type: Book N.B. Small gold label to ffep. Slight fading to spine. Corners of boards a little bumped.
- Hardcover
Anbieter: Labyrinth Books, Princeton, NJ, USALabyrinth Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 95,60
EUR 4,02 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Very Good.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 172,81
EUR 13,48 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 212,71
EUR 9,37 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New. A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory. Editor(s): Aczel, Peter; Simmons, Harold (University of Manchester); Wainer, Stanley S. (University of Leeds). Num Pages: 320 pages, line drawings. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 22. Weight in Grams: 602. . 1993. hardcover. . . . . Books ship from the US and Ireland.…
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 210,44
EUR 35,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…
