Recomienda este artículo a tus amigos:
Goal-Directed Proof Theory - Applied Logic Series Dov M. Gabbay Softcover reprint of the original 1st ed. 2000 edition
Precio
$ 107,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 25 de sep. - 8 de oct.
Recibe notificaciones sobre nuevos lanzamientos de Dov M. Gabbay
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
![Cover for Dov M. Gabbay · A New Perspective on Nonmonotonic Logics (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/938/9783319835938.jpg?dov-m-gabbay-2018-a-new-perspective-on-nonmonotonic-logics-paperback-book&class=scaled&v=1614706821)
![Cover for Dov M. Gabbay · Reactive Kripke Semantics - Cognitive Technologies (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/368/9783662514368.jpg?dov-m-gabbay-2016-reactive-kripke-semantics-cognitive-technologies-paperback-book&class=scaled&v=1505875503)
![Cover for Dov M. Gabbay · Conditionals and Modularity in General Logics - Cognitive Technologies (Paperback Book) [2011 edition] (2013)](https://imusic.b-cdn.net/images/item/original/659/9783642270659.jpg?dov-m-gabbay-2013-conditionals-and-modularity-in-general-logics-cognitive-technologies-paperback-book&class=scaled&v=1408488377)
![Cover for Dov M. Gabbay · Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies (Paperback Book) [2010 edition] (2012)](https://imusic.b-cdn.net/images/item/original/306/9783642264306.jpg?dov-m-gabbay-2012-revision-acceptability-and-context-theoretical-and-algorithmic-aspects-cognitive-technologies-paperback-book&class=scaled&v=1408486817)
![Cover for Dov M. Gabbay · Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies (Paperback Book) [2010 edition] (2012)](https://imusic.b-cdn.net/images/item/original/879/9783642261879.jpg?dov-m-gabbay-2012-logical-tools-for-handling-change-in-agent-based-systems-cognitive-technologies-paperback-book&class=scaled&v=1408485847)
![Cover for Dov M. Gabbay · Semantical Investigations in Heyting's Intuitionistic Logic - Synthese Library (Paperback Book) [Softcover reprint of hardcover 1st ed. 1981 edition] (2010)](https://imusic.b-cdn.net/images/item/original/623/9789048183623.jpg?dov-m-gabbay-2010-semantical-investigations-in-heyting-s-intuitionistic-logic-synthese-library-paperback-book&class=scaled&v=1505874839)
![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)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2026-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
