Recomienda este artículo a tus amigos:
Goal-Directed Proof Theory - Applied Logic Series Dov M. Gabbay 2000 edition
Precio
$ 122,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 17 de jun. - 6 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
Goal-Directed Proof Theory - Applied Logic Series
Dov M. Gabbay
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.
268 pages, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 31 de agosto de 2000 |
| ISBN13 | 9780792364733 |
| Editores | Springer |
| Páginas | 268 |
| Dimensiones | 156 × 234 × 17 mm · 571 g |
| Lengua | Inglés |
Mas por Dov M. Gabbay
Mostrar todo![Cover for Dov M. Gabbay · A New Perspective on Nonmonotonic Logics (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/150/9783319468150.jpg?dov-m-gabbay-2016-a-new-perspective-on-nonmonotonic-logics-hardcover-book&class=scaled&v=1505875253)
![Cover for Dov M. Gabbay · Reactive Kripke Semantics - Cognitive Technologies (Hardcover Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/889/9783642413889.jpg?dov-m-gabbay-2013-reactive-kripke-semantics-cognitive-technologies-hardcover-book&class=scaled&v=1505872156)
![Cover for Dov M. Gabbay · Synthesis of Concepts in the Talmud (Studies in Talmudic Logic) (Hebrew Edition) (Hardcover Book) [Hebrew edition] (2013)](https://imusic.b-cdn.net/images/item/original/875/9781848900875.jpg?dov-m-gabbay-2013-synthesis-of-concepts-in-the-talmud-studies-in-talmudic-logic-hebrew-edition-hardcover-book&class=scaled&v=1408589004)
![Cover for Dov M. Gabbay · Conditionals and Modularity in General Logics - Cognitive Technologies (Hardcover Book) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/674/9783642190674.jpg?dov-m-gabbay-2011-conditionals-and-modularity-in-general-logics-cognitive-technologies-hardcover-book&class=scaled&v=1408480654)
![Cover for Dov M. Gabbay · Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies (Hardcover Book) [2010 edition] (2010)](https://imusic.b-cdn.net/images/item/original/584/9783642141584.jpg?dov-m-gabbay-2010-revision-acceptability-and-context-theoretical-and-algorithmic-aspects-cognitive-technologies-hardcover-book&class=scaled&v=1408477099)
![Cover for Dov M. Gabbay · Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies (Hardcover Book) [2010 edition] (2009)](https://imusic.b-cdn.net/images/item/original/069/9783642044069.jpg?dov-m-gabbay-2009-logical-tools-for-handling-change-in-agent-based-systems-cognitive-technologies-hardcover-book&class=scaled&v=1408459158)
![Cover for Dov M. Gabbay · Semantical Investigations in Heyting's Intuitionistic Logic - Synthese Library (Hardcover Book) [1981 edition] (1981)](https://imusic.b-cdn.net/images/item/original/028/9789027712028.jpg?dov-m-gabbay-1981-semantical-investigations-in-heyting-s-intuitionistic-logic-synthese-library-hardcover-book&class=scaled&v=1604697160)
![Cover for Dov M. Gabbay · Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics - Synthese Library (Hardcover Book) [1976 edition] (1976)](https://imusic.b-cdn.net/images/item/original/560/9789027706560.jpg?dov-m-gabbay-1976-investigations-in-modal-and-tense-logics-with-applications-to-problems-in-philosophy-and-linguistics-synthese-library-hardcover-book&class=scaled&v=1495006819)
Mere med samme udgiver
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
Ver todo de Dov M. Gabbay ( Ej. Hardcover Book y Paperback Book )