Limit this search to....

  (4 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
A Modern Perspective on Type Theory: From Its Origins Until Today 2004 Edition (Applied Logic)Kamareddine, F. D.Hardcover1402023340 /
9781402023347		06/2004$189.99
A Modern Perspective on Type Theory: From Its Origins Until Today (Applied Logic)Kamareddine, F. D.Paperback904816639X /
9789048166398		10/2010$132.99
Thirty Five Years of Automating Mathematics 2003 Edition (Applied Logic)Kamareddine, F. D.Paperback9048164400 /
9789048164400		10/2010$104.49
Thirty Five Years of Automating Mathematics 2003 Edition (Applied Logic)Kamareddine, F. D.Hardcover1402016565 /
9781402016561		11/2003$104.49
  (4 items found)