Order Total (1 Item Items):
Shipping Destination:
Proof Theory Computer Science (58 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (58)
- 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 (54)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 0.9.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
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 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!
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.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
US$ 51.13
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: 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
Condition: New. SUPER FAST SHIPPING.
-
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.
-
US$ 59.16
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 60.86
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Proof Theory in Computer Science (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2001
ISBN 10: 354042752X ISBN 13: 9783540427520
Language: English
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001. The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programming. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 59.54
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 59.54
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 59.54
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. SUPER FAST SHIPPING.
-
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. SUPER FAST SHIPPING.
-
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
US$ 56.56
Convert currencyUS$ 16.09 shipping 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)
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Language: English
US$ 67.60
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 69.06
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
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
US$ 67.97
Convert currencyUS$ 16.09 shipping 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
US$ 70.30
Convert currencyUS$ 16.09 shipping 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
US$ 70.30
Convert currencyUS$ 16.09 shipping 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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.30
Convert currencyUS$ 16.09 shipping 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)
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
US$ 70.75
Convert currencyUS$ 16.09 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.09
Convert currencyUS$ 20.81 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
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
US$ 65.98
Convert currencyUS$ 20.81 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 66.14
Convert currencyUS$ 20.81 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
