Proof Theory Computer Science (51 results)
- Hardcover
- First Edition
Seller: Pride and Prejudice-Books, Ballston Lake, NY, U.S.A.Pride and Prejudice-Books
Contact seller5-star sellerCondition: Used - Near fine
£ 21.80
£ 3.78 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Near Fine. No Dust Jacket. First Edition. Near Fine. No Dust Jacket.
- Softcover
Seller: Grey Matter Books, Hadley, MA, U.S.A.Grey Matter Books
Contact seller4-star sellerAssociation member: SNEAB
Condition: Used - Fine
£ 27.25
£ 4.16 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: Fine. Crisp fine copy.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
£ 34.01
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
Kahle, Reinhard [Editor]; Schroeder-Heister, Peter [Editor]; StÃ?Æ?Ã?¤rk, Robert [Editor];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 33.47
£ 5.28 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
- Hardcover
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
Contact seller5-star sellerCondition: Used - Very good
£ 38.26
£ 5.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 48.27
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, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 50.88
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 52.94
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 52.94
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 52.94
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, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 51.76
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
£ 54.76
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 50.52
£ 6.49 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 48.72
£ 9.37 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
Contact seller5-star sellerCondition: Used - Very good
£ 54.80
£ 5.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 62.28
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: 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: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 55.95
£ 9.37 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 55.95
£ 9.37 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 55.95
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 55.95
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 55.95
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
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
£ 55.22
£ 15.00 shippingShips from United Kingdom to 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
£ 60.47
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 68.22
£ 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: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 57.87
£ 29.62 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, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 84.16
£ 7.94 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. …
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 95.28
£ 8.04 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. . . . . …
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 100.12
£ 7.94 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.…
Language: English
Published by Springer, 2012
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 90.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.
