Proof Theory Computer Science (46 results)
- Hardcover
- First Edition
Seller: Pride and Prejudice-Books, Ballston Lake, U.S.A.Pride and Prejudice-Books
Contact seller5-star sellerCondition: Used - Near fine
£ 21.46
£ 3.72 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Near Fine. No Dust Jacket. First Edition. Near Fine. No Dust Jacket.
- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Fair
£ 20.75
£ 13.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Fair. Volume 43. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:97805215…72231.
- Softcover
Seller: California Books, Miami, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 47.52
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Proof Theory in Computer Science : International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Ptcs 200 (2001 Dahgstuhl Castle); Schroeder-Heister, Peter Joseph (EDT); Stark, Robert F. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 50.77
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 41.88
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
Seller: Friends of Pima County Public Library, Tucson, U.S.A.Friends of Pima County Public Library
Contact seller5-star sellerCondition: Used - Good
£ 51.60
£ 4.19 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Good. Hardcover. NOT Ex-library. Good condition. No dust jacket. Until further notice, USPS Priority Mail only reliable option for Hawaii. Proceeds benefit the Pima County Public Library system, which serves Tucson and southern Arizona.
- Softcover
Seller: California Books, Miami, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 61.31
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.43
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.43
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.43
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.43
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.81
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.69
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
Proof Theory in Computer Science : International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Ptcs 200 (2001 Dahgstuhl Castle); Schroeder-Heister, Peter Joseph (EDT); Stark, Robert F. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 63.78
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.77
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 52.47
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Proof Theory in Computer Science : International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Ptcs 200 (2001 Dahgstuhl Castle); Schroeder-Heister, Peter Joseph (EDT); Stark, Robert F. (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.25
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 50.07
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 50.52
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New.
Proof Theory in Computer Science : International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Ptcs 200 (2001 Dahgstuhl Castle); Schroeder-Heister, Peter Joseph (EDT); Stark, Robert F. (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 54.50
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.92
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1997 edition. 348 pages. 9.00x6.00x0.75 inches. In Stock.
- Softcover
Seller: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 82.84
£ 7.81 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. A homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Series: Distinguished Dissertations in Computer Science. Num Pages: 120 pages, black & white illustrations. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 6. Weight… in Grams: 230. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K 1996
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 80.88
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.58
£ 53.52 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as… well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloß Dagstuhl provides a very convenient and stimulating environment to - scuss new ideas and developments. To accompany the conference with a proc- dings volume appeared to us equally appropriate. Such a volume not only xes basic results of the subject and makes them available to a broader audience, but also signals to the scienti c community that Proof Theory in Computer Science (PTCS) is a major research branch within the wider eld of logic in computer science.
- Softcover
Seller: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 98.56
£ 7.81 shippingShips within U.S.A.Quantity: 1 available
Condition: New. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages:… 432 pages, 3 b/w illus. 201 exercises. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 153 x 26. Weight in Grams: 656. Series: Cambridge Tracts in Theoretical Computer Science. 432 pages, 3 b/w illus. 201 exercises. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA. Dimension: 229 x 153 x 26. Weight: 668. Series Editor(s) :Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P.H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J.V. . 2000. 2nd Edition. Paperback. . . . . Books ship from the US and Ireland.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 97.25
£ 9.07 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. A homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Series: Distinguished Dissertations in Computer Science. Num Pages: 120 pages, black & white illustrations. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 6. Weight… in Grams: 230. . 2008. Revised ed. paperback. . . . .
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.70
£ 60.46 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Proof Theory in Computer Science | International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings | Reinhard Kahle (u. a.) | Taschenbuch | x | Englisch | 2001 | Springer | EAN 9783540427520 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121… Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 96.15
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 96.15
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 86.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
