Your favorite local bookstore.
Everywhere.

20% off your online order through 7/26! Use code: GETINK SEE DETAILS

Your search for "Computational Logic and Proof Theory" returned 129 results.

Price
Format
Condition
Publisher
Author
Director
Actor
Artist
Department
Attributes
Deals
Language
Year
to

ENDS JULY 26
20% OFF YOUR ORDER

Need help taking on the tough semester? Use code GETINK to take 20% off your online textbook order!

Imgsignupforsavings


All129 Results
Books129 Results
Music0 Results
Movies & TV0 Results
Sort results by:
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Basic Proof Theory
Basic Proof Theory
Linear Logic In Computer Science
Linear Logic In Computer Science
Mathematical Proof Theory
Mathematical Proof Theory
×