Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
An Introduction to the Pl/Cv2 Programming Logic 1982 Edition (Lecture Notes in Computer Science)Constable, R. L.Paperback3540114920 /
9783540114925		04/1982$52.24
Implementing Mathematics with The Nuprl Proof Development SystemConstable, R. L.Paperback1468059106 /
9781468059106		01/2012$12.26
  (2 items found)