|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](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/079/9780792343455.jpg&wmax=80&hmax=80) | Multi-Dimensional Modal Logic 1997 Edition (Applied Logic) | Marx, Maarten | Hardcover | 079234345X / 9780792343455 | 11/1996 | $104.49 |
| ![](thumb.php?src=products/140/9781402002168.jpg&wmax=80&hmax=80) | New Essays in Free Logic: In Honour of Karel Lambert 2002 Edition (Applied Logic) | Morscher, E. | Hardcover | 1402002165 / 9781402002168 | 12/2001 | $104.49 |
| ![](thumb.php?src=products/904/9789048153244.jpg&wmax=80&hmax=80) | Fuzzy Sets, Logics and Reasoning about Knowledge (Applied Logic) | DuBois, Didier | Paperback | 9048153247 / 9789048153244 | 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/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/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/9789048147205.jpg&wmax=80&hmax=80) | Proof Theory of Modal Logic (Applied Logic) | Wansing, Heinrich | Paperback | 9048147204 / 9789048147205 | 12/2010 | $161.49 |
| ![](thumb.php?src=products/904/9789048181216.jpg&wmax=80&hmax=80) | Proof Theory for Fuzzy Logics (Applied Logic) | Metcalfe, George | Paperback | 9048181216 / 9789048181216 | 10/2010 | $123.49 |
| ![](thumb.php?src=products/079/9780792356011.jpg&wmax=80&hmax=80) | Foundations of Rational Agency 1999 Edition (Applied Logic) | Wooldridge, Michael | Hardcover | 0792356012 / 9780792356011 | 03/1999 | $161.49 |
| ![](thumb.php?src=products/079/9780792364733.jpg&wmax=80&hmax=80) | Goal-Directed Proof Theory 2000 Edition (Applied Logic) | Gabbay, Dov M. | Hardcover | 0792364732 / 9780792364733 | 08/2000 | $104.49 |
| ![](thumb.php?src=products/079/9780792370215.jpg&wmax=80&hmax=80) | Frontiers in Belief Revision 2001 Edition (Applied Logic) | Williams, M. | Hardcover | 079237021X / 9780792370215 | 06/2001 | $161.49 |
| ![](thumb.php?src=products/079/9780792353249.jpg&wmax=80&hmax=80) | A Textbook of Belief Dynamics: Theory Change and Database Updating 1999 Edition (Applied Logic) | Hansson, Sven Ove | Hardcover | 0792353242 / 9780792353249 | 03/1999 | $161.49 |
| ![](thumb.php?src=products/904/9789048164400.jpg&wmax=80&hmax=80) | Thirty Five Years of Automating Mathematics 2003 Edition (Applied Logic) | Kamareddine, F. D. | Paperback | 9048164400 / 9789048164400 | 10/2010 | $104.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 |
| ![](thumb.php?src=products/904/9789048151592.jpg&wmax=80&hmax=80) | Dynamic Worlds: From the Frame Problem to Knowledge Management (Applied Logic) | Pareschi, Remo | Paperback | 9048151597 / 9789048151592 | 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/140/9781402003684.jpg&wmax=80&hmax=80) | Proof Theory and Automated Deduction Softcover Repri Edition (Applied Logic) | Goubault-Larrecq, Jean | Paperback | 1402003684 / 9781402003684 | 11/2001 | $52.24 |
| ![](thumb.php?src=products/079/9780792353294.jpg&wmax=80&hmax=80) | A Textbook of Belief Dynamics: Solutions to Exercises 1999 Edition (Applied Logic) | Hansson, Sven Ove | Paperback | 0792353293 / 9780792353294 | 03/1999 | $161.49 |
| ![](thumb.php?src=products/079/9780792355694.jpg&wmax=80&hmax=80) | What Is Negation? 1999 Edition (Applied Logic) | Gabbay, Dov M. | Hardcover | 0792355695 / 9780792355694 | 03/1999 | $208.99 |
| ![](thumb.php?src=products/140/9781402023347.jpg&wmax=80&hmax=80) | 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 |
| ![](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/9789048147175.jpg&wmax=80&hmax=80) | Fallacies Arising from Ambiguity (Applied Logic) | Walton, Douglas | Paperback | 9048147174 / 9789048147175 | 12/2010 | $189.99 |
| ![](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/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 |
|
|
|