|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Synthesis of Concepts in the Talmud (Studies in Talmudic Logic) (Hebrew) | Abraham, Michael | Hardcover | 1848900872 / 9781848900875 | 02/2013 | $38.48 |
| | The Textual Inference Rules Klal Uprat. How the Talmud Defines Sets (Hebrew) | Abraham, Michael | Hardcover | 1848900015 / 9781848900011 | 05/2010 | $32.78 |
| | Principles of Talmudic Logic (Studies in Talmudic Logic) | Abraham, Michael | Paperback | 1848900937 / 9781848900936 | 02/2013 | $22.33 |
| | Advances in Temporal Logic (Applied Logic) | Barringer, Howard | Paperback | 9048153891 / 9789048153893 | 12/2010 | $161.49 |
| | Labelled Deduction 2000 Edition (Applied Logic) | Basin, David | Hardcover | 0792362373 / 9780792362371 | 04/2000 | $104.49 |
| | Labelled Deduction 2000 Edition (Applied Logic) | Basin, David | Paperback | 9401057818 / 9789401057813 | 10/2012 | $104.49 |
| | Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic) | Carnielli, Walter | Paperback | 9048177251 / 9789048177257 | 11/2010 | $161.49 |
| | Handbook of Tableau Methods 1999 Edition | D'Agostino, M. | Hardcover | 0792356276 / 9780792356271 | 03/1999 | $208.99 |
| | Handbook of Tableau Methods | D'Agostino, M. | Paperback | 9048151848 / 9789048151844 | 12/2010 | $208.99 |
| | Neural-Symbolic Learning Systems: Foundations and Applications 2002 Edition (Perspectives in Neural Computing) | D'Avila Garcez, Artur S. | Paperback | 1852335122 / 9781852335120 | 08/2002 | $161.49 |
| | Handbook of Quantum Logic and Quantum Structures: Quantum Structures | Engesser, Kurt | Hardcover | 0444528709 / 9780444528704 | 09/2007 | $247.50 |
| | Reactive Kripke Semantics Softcover Repri Edition (Cognitive Technologies) | Gabbay, Dov M. | Paperback | 3662514362 / 9783662514368 | 08/2016 | $104.49 |
| | Semantical Investigations in Heyting's Intuitionistic Logic 1981 Edition (Synthese Library (Hardcover)) | Gabbay, Dov M. | Hardcover | 9027712026 / 9789027712028 | 03/1981 | $161.49 |
| | Semantical Investigations in Heyting's Intuitionistic Logic (Synthese Library (Paperback)) | Gabbay, Dov M. | Paperback | 9048183626 / 9789048183623 | 12/2010 | $161.49 |
| | Reactive Kripke Semantics 2013 Edition (Cognitive Technologies) | Gabbay, Dov M. | Hardcover | 3642413889 / 9783642413889 | 12/2013 | $104.49 |
| | Interpolation and Definability: Modal and Intuitionistic Logic | Gabbay, Dov M. | Hardcover | 0198511744 / 9780198511748 | 07/2005 | $223.25 |
| | Goal-Directed Proof Theory Softcover Repri Edition (Applied Logic) | Gabbay, Dov M. | Paperback | 9048155266 / 9789048155262 | 12/2010 | $104.49 |
| | Temporal Logic: Mathematical Foundations and Computational Aspectsvolume 2 | Gabbay, Dov M. | Hardcover | 0198537689 / 9780198537687 | 06/2000 | $351.50 |
| | Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies) | Gabbay, Dov M. | Hardcover | 3642141587 / 9783642141584 | 08/2010 | $161.49 |
| | Revision, Acceptability and Context: Theoretical and Algorithmic Aspects 2010 Edition (Cognitive Technologies) | Gabbay, Dov M. | Paperback | 3642264301 / 9783642264306 | 10/2012 | $161.49 |
| | Conditionals and Modularity in General Logics 2011 Edition (Cognitive Technologies) | Gabbay, Dov M. | Hardcover | 3642190677 / 9783642190674 | 08/2011 | $104.49 |
| | Logical Tools for Handling Change in Agent-Based Systems 2010 Edition (Cognitive Technologies) | Gabbay, Dov M. | Paperback | 3642261876 / 9783642261879 | 03/2012 | $161.49 |
| | Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies) | Gabbay, Dov M. | Hardcover | 3642044069 / 9783642044069 | 12/2009 | $161.49 |
| | Conditionals and Modularity in General Logics 2011 Edition (Cognitive Technologies) | Gabbay, Dov M. | Paperback | 3642270654 / 9783642270659 | 11/2013 | $104.49 |
| | A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial (Practical Logic of Cognitive Systems) | Gabbay, Dov M. | Hardcover | 044451791X / 9780444517913 | 06/2005 | $207.90 |
|
|
|