When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Basic Proof Theory, Paperback by Troelstra, A. S.; Schwichtenberg, H., ISBN 0521779111, ISBN-13 9780521779111, Like New Used, Free shipping in the US Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.