Order Total (1 Item Items):
Shipping Destination:
Proof Theory Computer Science (46 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (46)
- 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 (35)
- As New, Fine or Near Fine (9)
- Very Good or Good (1)
- 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 (8)
- Not Print on Demand (39)
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.
-
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)
Language: English
Published by Cambridge University Press, 2004
ISBN 10: 052160754X ISBN 13: 9780521607544
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
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
£ 41.88
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
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.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Language: English
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Condition: New.
-
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.43
£ 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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 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.43
£ 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.43
£ 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.
-
-
-
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
£ 52.47
£ 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: 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.
-
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.
-
Proof Theory: An Introduction (Lecture Notes in Computer Science)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540518428 ISBN 13: 9783540518426
Paperback. Condition: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
-
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.
-
Cambridge Tracts in Theoretical Computer Science: Series Number 43: Basic Proof Theory
Language: English
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
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.
-
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. . . . .
-
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.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 96.15
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 96.15
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
