Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Proof Theory and Automated Deduction Softcover Repri Edition (Applied Logic)Goubault-Larrecq, JeanPaperback1402003684 /
9781402003684		11/2001$52.24
Proof Theory and Automated Deduction (Economy & Environment)Goubault-Larrecq, JeanHardcover0792345932 /
9780792345930		05/1997$94.05
  (2 items found)