Order Total (1 Item Items):
Shipping Destination:
Proof Theory Computer Science (52 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (52)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (38)
- As New, Fine or Near Fine (9)
- Very Good or Good (4)
- Fair or Poor (1)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (9)
- Not Print on Demand (44)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
A Proof Theory for General Unification (Progress in Computer Science & Applied Logic Ser.)
Seller: Pride and Prejudice-Books, Ballston Lake, NY, U.S.A.
Seller rating 5 out of 5 stars
First Edition
Hardcover. Condition: Near Fine. Dust Jacket Condition: No Dust Jacket. First Edition. Near Fine. No Dust Jacket.
-
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.
-
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.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) (Volume 43)
Language: English
Published by Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
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:9780521572231.
-
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4) (Volume 0)
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 052160754X ISBN 13: 9780521607544
Condition: New.
-
-
-
-
Condition: As New. Unread book in perfect condition.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Language: English
Published by Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Seller: Friends of Pima County Public Library, Tucson, AZ, U.S.A.
Seller rating 5 out of 5 stars
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.
-
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4) (Volume 0)
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 052160754X ISBN 13: 9780521607544
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.23
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) (Volume 0)
Language: English
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Condition: New.
-
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic, 11)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science, 2183)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, 713) (Volume 0)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic)
Language: English
Published by Birkh�user 1991-11-01, 1991
ISBN 10: 1461267587 ISBN 13: 9781461267584
Paperback. Condition: New.
-
-
-
Proof Theory in Computer Science : International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Basic Proof Theory 2ed (Cambridge Tracts in Theoretical Computer Science)
Language: English
Published by Cambridge University Press 2008-01-12, 2008
ISBN 10: 0521779111 ISBN 13: 9780521779111
Paperback. Condition: New.
-
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Language: English
Published by Cambridge University Press 2008-01-12, 2008
ISBN 10: 0521779111 ISBN 13: 9780521779111
Paperback. Condition: New.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) (Volume 0)
Language: English
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 54.91
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Proof Theory in Computer Science : International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Brand New. 1997 edition. 348 pages. 9.00x6.00x0.75 inches. In Stock.
-
Logic Programming: Operational Semantics and Proof Theory: 4 (Distinguished Dissertations in Computer Science, Series Number 4)
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 052160754X ISBN 13: 9780521607544
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.
-
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.
-
Logic Programming: Operational Semantics and Proof Theory: 4 (Distinguished Dissertations in Computer Science, Series Number 4)
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 052160754X ISBN 13: 9780521607544
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
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. . . . .
