|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | A Modern Perspective on Type Theory: From Its Origins Until Today 2004 Edition (Applied Logic) | Kamareddine, F. D. | Hardcover | 1402023340 / 9781402023347 | 06/2004 | $189.99 |
| | A Modern Perspective on Type Theory: From Its Origins Until Today (Applied Logic) | Kamareddine, F. D. | Paperback | 904816639X / 9789048166398 | 10/2010 | $132.99 |
| | A Textbook of Belief Dynamics: Solutions to Exercises 1999 Edition (Applied Logic) | Hansson, Sven Ove | Paperback | 0792353293 / 9780792353294 | 03/1999 | $161.49 |
| | A Textbook of Belief Dynamics: Theory Change and Database Updating 1999 Edition (Applied Logic) | Hansson, Sven Ove | Hardcover | 0792353242 / 9780792353249 | 03/1999 | $161.49 |
| | A Textbook of Belief Dynamics: Theory Change and Database Updating (Applied Logic) | Hansson, Sven Ove | Paperback | 9048151252 / 9789048151257 | 12/2010 | $161.49 |
| | Abduction and Induction: Essays on Their Relation and Integration Softcover Repri Edition (Applied Logic) | Flach, P. a. | Paperback | 9048154332 / 9789048154333 | 12/2010 | $161.49 |
| | Abduction and Induction: Essays on Their Relation and Integration 2000 Edition (Applied Logic) | Flach, P. a. | Hardcover | 0792362500 / 9780792362500 | 04/2000 | $161.49 |
| | Advances in Intensional Logic (Applied Logic) | de Rijke, Maarten | Paperback | 9048148979 / 9789048148974 | 12/2010 | $161.49 |
| | Advances in Intensional Logic 1997 Edition (Applied Logic) | de Rijke, Maarten | Hardcover | 0792347110 / 9780792347118 | 09/1997 | $161.49 |
| | Advances in Temporal Logic 2000 Edition (Applied Logic) | Barringer, Howard | Hardcover | 0792361490 / 9780792361497 | 12/1999 | $161.49 |
| | Advances in Temporal Logic (Applied Logic) | Barringer, Howard | Paperback | 9048153891 / 9789048153893 | 12/2010 | $161.49 |
| | An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 2002. Softcover Edition (Applied Logic) | Andrews, Peter B. | Paperback | 9048160790 / 9789048160792 | 12/2010 | $94.99 |
| | An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic) | Andrews, Peter B. | Hardcover | 1402007639 / 9781402007637 | 07/2002 | $132.99 |
| | Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems 2008 Edition (Applied Logic) | Carnielli, Walter | Hardcover | 140206781X / 9781402067815 | 02/2008 | $161.49 |
| | Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic) | Carnielli, Walter | Paperback | 9048177251 / 9789048177257 | 11/2010 | $161.49 |
| | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A 1998 Edition (Applied Logic) | Bibel, Wolfgang | Hardcover | 0792351312 / 9780792351313 | 06/1998 | $161.49 |
| | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Applied Logic) | Bibel, Wolfgang | Paperback | 9048150523 / 9789048150526 | 12/2010 | $161.49 |
| | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Applied Logic) | Bibel, Wolfgang | Paperback | 9048150515 / 9789048150519 | 12/2010 | $208.99 |
| | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Applied Logic) | Bibel, Wolfgang | Paperback | 9048150507 / 9789048150502 | 12/2010 | $208.99 |
| | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A 1998 Edition (Applied Logic) | Bibel, Wolfgang | Hardcover | 0792351290 / 9780792351290 | 06/1998 | $208.99 |
| | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A 1998 Edition (Applied Logic) | Bibel, Wolfgang | Hardcover | 0792351304 / 9780792351306 | 06/1998 | $208.99 |
| | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A 1998 Edition (Applied Logic) | Bibel, Wolfgang | Hardcover | 0792351320 / 9780792351320 | 06/1998 | $408.50 |
| | Automated Model Building 2004 Edition (Applied Logic) | Caferra, Ricardo | Hardcover | 1402026528 / 9781402026522 | 09/2004 | $161.49 |
| | Automated Model Building (Applied Logic) | Caferra, Ricardo | Paperback | 9048166969 / 9789048166961 | 12/2010 | $161.49 |
| | Dynamic Worlds: From the Frame Problem to Knowledge Management (Applied Logic) | Pareschi, Remo | Paperback | 9048151597 / 9789048151592 | 12/2010 | $104.49 |
|
|
|