Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC
Pub
Date
Price
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 2002. Softcover Edition (Applied Logic)Andrews, Peter B.Paperback9048160790 /
9789048160792
12/2010$94.99
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic)Andrews, Peter B.Hardcover1402007639 /
9781402007637
07/2002$132.99
  (2 items found)