ISBN: 9780521414135 - proof theory: a selection of papers from the leeds proof theory programme 1990 (12 risultati)

Cloth/Laminated Boards. Condizione: Very Good. Condizione sovraccoperta: No d/j as Published. Type: Book N.B. Small gold label to ffep. Slight fading to spine. Corners of boards a little bumped.

Condizione: Very Good.

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condizione: New.

Condizione: 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. . . . .…

Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: 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.…

Buch. Condizione: 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.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A collection of expository and research articles derived from the SERC Logic for IT Summer School and Conference on Proof Theory.InhaltsverzeichnisPreface Programme of lectures 1. Basic proof theory S. Wainer and L. Wallen 2. A .…

Hardcover. Condizione: new. Hardcover. This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists. A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Buch. Condizione: Neu. Proof Theory | A Selection of Papers from the Leeds Proof Theory Programme 1990 | Harold Simmons (u. a.) | Buch | Gebunden | Englisch | 2004 | Cambridge University Press | EAN 9780521414135 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. …

Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.