|
|
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, Iman | Paperback | 1441920145 /
9781441920140 | 11/2010 | $161.49 |
|  | Adapting Proofs-As-Programs: The Curry--Howard Protocol 2005 Edition (Monographs in Computer Science) | Poernomo, Iman | Hardcover | 0387237593 /
9780387237596 | 06/2005 | $161.49 |
|  | Ars Musice PB (Teams Varia) | De Grocheio, Johannes | Paperback | 1580441653 /
9781580441650 | 10/2011 | $18.95 |
|  | ES 09 Communities of Learning, Mews: Networks and the Shaping of Intellectual Identity in Europe, 1100-1500 (Europa Sacra) (Latin) | Mews, Constant | Hardcover | 2503532330 /
9782503532332 | 11/2011 | $99.00 |
|  | Guy of Saint-Denis, Tractatus de Tonis (Teams Varia) (Latin) | Mews, Constant J. | Paperback | 1580442544 /
9781580442541 | 04/2017 | $19.75 |
|  | Guy of Saint-Denis, Tractatus de Tonis (Teams Varia) (Latin) | Crossley, John N. | Portable Document Format (PDF) | 1580442552 /
9781580442558 | 04/2017 | $39.55 |
|  | Guy of Saint-Denis, Tractatus de Tonis (Teams Varia) (Latin) | Mews, Constant J. | Hardcover | 1580442994 /
9781580442992 | 04/2017 | $37.95 |
|  | Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday 1993 Edition (Progress in Computer Science and Applied Logic) | Crossley, John N. | Paperback | 0817636900 /
9780817636906 | 01/1994 | $161.49 |
|  | Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday Softcover Repri Edition (Progress in Computer Science and Applied Logic) | Crossley, John N. | Paperback | 1461267080 /
9781461267089 | 02/2013 | $161.49 |
|
|
|