|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/940/9789401063777.jpg&wmax=80&hmax=80) | Logic, Language and Computation 1997 Edition (Applied Logic) | Akama, S. | Paperback | 940106377X / 9789401063777 | 10/2012 | $104.49 |
| ![](thumb.php?src=products/079/9780792343769.jpg&wmax=80&hmax=80) | Logic, Language and Computation 1997 Edition (Applied Logic) | Akama, S. | Hardcover | 079234376X / 9780792343769 | 01/1997 | $104.49 |
| ![](thumb.php?src=products/904/9789048160792.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/140/9781402007637.jpg&wmax=80&hmax=80) | An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic) | Andrews, Peter B. | Hardcover | 1402007639 / 9781402007637 | 07/2002 | $132.99 |
| ![](thumb.php?src=products/940/9789401066433.jpg&wmax=80&hmax=80) | Frontiers of Combining Systems: First International Workshop, Munich, March 1996 1996 Edition (Applied Logic) | Baader, F. | Paperback | 9401066434 / 9789401066433 | 04/2014 | $52.24 |
| ![](thumb.php?src=products/079/9780792342717.jpg&wmax=80&hmax=80) | Frontiers of Combining Systems: First International Workshop, Munich, March 1996 1996 Edition (Applied Logic) | Baader, F. | Hardcover | 0792342712 / 9780792342717 | 10/1996 | $94.99 |
| ![](thumb.php?src=products/079/9780792361497.jpg&wmax=80&hmax=80) | Advances in Temporal Logic 2000 Edition (Applied Logic) | Barringer, Howard | Hardcover | 0792361490 / 9780792361497 | 12/1999 | $161.49 |
| ![](thumb.php?src=products/904/9789048153893.jpg&wmax=80&hmax=80) | Advances in Temporal Logic (Applied Logic) | Barringer, Howard | Paperback | 9048153891 / 9789048153893 | 12/2010 | $161.49 |
| ![](thumb.php?src=products/079/9780792362371.jpg&wmax=80&hmax=80) | Labelled Deduction 2000 Edition (Applied Logic) | Basin, David | Hardcover | 0792362373 / 9780792362371 | 04/2000 | $104.49 |
| ![](thumb.php?src=products/940/9789401057813.jpg&wmax=80&hmax=80) | Labelled Deduction 2000 Edition (Applied Logic) | Basin, David | Paperback | 9401057818 / 9789401057813 | 10/2012 | $104.49 |
| ![](thumb.php?src=products/079/9780792351313.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/904/9789048150526.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/904/9789048150519.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/904/9789048150502.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/079/9780792351290.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/079/9780792351306.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/079/9780792351320.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/079/9780792363507.jpg&wmax=80&hmax=80) | Formal Aspects of Context 2000 Edition (Applied Logic) | Bonzon, Pierre | Hardcover | 0792363507 / 9780792363507 | 07/2000 | $104.49 |
| ![](thumb.php?src=products/904/9789048154722.jpg&wmax=80&hmax=80) | Formal Aspects of Context Softcover Repri Edition (Applied Logic) | Bonzon, Pierre | Paperback | 9048154723 / 9789048154722 | 12/2010 | $104.49 |
| ![](thumb.php?src=products/940/9789400734357.jpg&wmax=80&hmax=80) | Hybrid Logic and Its Proof-Theory 2011 Edition (Applied Logic) | Braüner, Torben | Paperback | 9400734352 / 9789400734357 | 01/2013 | $104.49 |
| ![](thumb.php?src=products/940/9789400700017.jpg&wmax=80&hmax=80) | Hybrid Logic and Its Proof-Theory (Applied Logic) | Braüner, Torben | Hardcover | 9400700016 / 9789400700017 | 11/2010 | $104.49 |
| ![](thumb.php?src=products/140/9781402026522.jpg&wmax=80&hmax=80) | Automated Model Building 2004 Edition (Applied Logic) | Caferra, Ricardo | Hardcover | 1402026528 / 9781402026522 | 09/2004 | $161.49 |
| ![](thumb.php?src=products/904/9789048166961.jpg&wmax=80&hmax=80) | Automated Model Building (Applied Logic) | Caferra, Ricardo | Paperback | 9048166969 / 9789048166961 | 12/2010 | $161.49 |
| ![](thumb.php?src=products/140/9781402067815.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/904/9789048177257.jpg&wmax=80&hmax=80) | Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic) | Carnielli, Walter | Paperback | 9048177251 / 9789048177257 | 11/2010 | $161.49 |
|
|
|