Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Adapting Proofs-As-Programs: The Curry--Howard Protocol (Monographs in Computer Science)Poernomo, ImanPaperback1441920145 /
9781441920140		11/2010$161.49
Adapting Proofs-As-Programs: The Curry--Howard Protocol 2005 Edition (Monographs in Computer Science)Poernomo, ImanHardcover0387237593 /
9780387237596		06/2005$161.49
  (2 items found)