• 

  Type Theory and Formal Proof

  by Professor Rob Nederpelt, Professor Herman Geuvers

  • See All from $78.17
  • New from $85.78
  • eBook from $75.20
  • Collectible from $129.47
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $78.17

  Used Hardcover, 2014

  More details Add to Cart
• 

  A Modern Perspective on Type Theory: From Its Origins Until Today

  by F D Kamareddine, T Laan, Professor Rob Nederpelt

  • See All from $139.84
  • New from $139.84
  • eBook from $38.70
  • Collectible from $215.54
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $139.84

  New Hardcover, 2004

  More details Add to Cart

Additional copies that match your search:

• 1. A Modern Perspective on Type Theory: From Its Origins Until Today

  by Kamareddine, F D, and Laan, T, and Nederpelt, Rob, Professor

   
  

  

  Seller Description: New. Sewn binding. Cloth over boards. 360 p. Applied Logic, 29. See More Details

  2004, Springer ISBN-13: 9781402023347 Hardcover, New

  Ria Christie Books HIGH Uxbridge, MIDDLESEX, UNITED KINGDOM

  $227.69 Add to Cart

  Add to Wishlist