Order Total (1 Item Items):
Shipping Destination:
Proof Theory Computer Science (57 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (57)
- 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 (44)
- As New, Fine or Near Fine (8)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
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 (53)
Language (3)
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.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
More buying choices from other sellers on AbeBooks
New offers from £ 48.19
Used offers from £ 24.95
Also find Softcover
-
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!
More buying choices from other sellers on AbeBooks
New offers from £ 53.95
Used offers from £ 31.08
Also find Softcover
-
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.
-
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
More buying choices from other sellers on AbeBooks
New offers from £ 48.19
Used offers from £ 41.74
Also find Softcover
-
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 47.90
Used offers from £ 108
Also find Softcover
-
Condition: New.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Published by Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Language: English
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.
-
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.
More buying choices from other sellers on AbeBooks
New offers from £ 81.20
Used offers from £ 147
Also find Hardcover
-
A Proof Theory for General Unification. Boston, 1991. gr.8°. 5 figs. VI, 175 p. Hardbound. Progress in Computer Science and Applied Logic, 11.- Incl. bibliography.- In very good condition.
Seller: Antiquariat Renner OHG, Albstadt, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
£ 10.73
Convert currency£ 17.37 shipping from Germany to U.S.A.Quantity: 1 available
Add to basket -
Condition: New. SUPER FAST SHIPPING.
-
£ 83
Convert currency£ 25 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
Proof Theory: An Introduction (Lecture Notes in Computer Science)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540518428 ISBN 13: 9783540518426
Language: English
£ 105.35
Convert currency£ 25 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
