Limit this search to....

  (3 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
Type Theory and Formal Proof: An IntroductionNederpelt, RobHardcover110703650X /
9781107036505
12/2014$84.54
  (3 items found)