Order Total (1 Item Items):
Shipping Destination:
Proof Theory Computer Science (55 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (55)
- 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
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 (48)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Published by Cambridge University Press, 1993
ISBN 10: 0521432197 ISBN 13: 9780521432191
Language: English
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
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.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Basic Proof Theory 2ed (Cambridge Tracts in Theoretical Computer Science)
Published by Cambridge University Press, 2008
ISBN 10: 0521779111 ISBN 13: 9780521779111
Language: English
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) (Volume 43)
Published by Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Language: English
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.
-
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Language: English
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
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.
-
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Published by Cambridge University Press, 2004
ISBN 10: 052160754X ISBN 13: 9780521607544
Language: English
Condition: New.
-
-
-
-
-
-
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Published by Cambridge University Press, 2004
ISBN 10: 052160754X ISBN 13: 9780521607544
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Condition: As New. Unread book in perfect condition.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Language: English
Condition: New.
-
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
Condition: 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
Condition: 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
Condition: 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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic)
Published by Birkh�user 1991-11-01, 1991
ISBN 10: 1461267587 ISBN 13: 9781461267584
Language: English
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)
Published by Cambridge University Press 2008-01-12, 2008
ISBN 10: 0521779111 ISBN 13: 9780521779111
Language: English
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.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Language: English
Paperback. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Published by Springer (India) Private Limited, 2016
ISBN 10: 3319291963 ISBN 13: 9783319291963
Language: English
Condition: New. pp. 425.
