Povej prijatelju o tem izdelku:
Temporal Logic: Volume 1 - Oxford Logic Guides Dov M. Gabbay
Do you have a profile? Prijava
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Dov M. Gabbay
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Temporal Logic: Volume 1 - Oxford Logic Guides
Dov M. Gabbay
BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
668 pages, line figures, tables
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 21. julija 1994 |
| ISBN13 | 9780198537694 |
| Založniki | Oxford University Press |
| Strani | 668 |
| Dimenzije | 163 × 246 × 44 mm · 1,21 kg |
![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 · Goal-Directed Proof Theory - Applied Logic Series (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/733/9780792364733.jpg?dov-m-gabbay-2000-goal-directed-proof-theory-applied-logic-series-hardcover-book&class=scaled&v=1410139248)
![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)
![Cover for My eyes for beauty pine (Sheet music) [Vocal score edition] (2028)](https://imusic.b-cdn.net/images/item/original/126/9780193501126.jpg?2028-my-eyes-for-beauty-pine-sheet-music&class=scaled&v=1550933031)
![Cover for Harris Jr., H. Stephen (Partner, Partner, Winston & Strawn LLP) · Anti-Monopoly Law and Practice in China (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/089/9780198704089.jpg?harris-jr-h-stephen-partner-partner-winston-strawn-llp-2027-anti-monopoly-law-and-practice-in-china-paperback-book&class=scaled&v=1471196294)
![Cover for The EU General Data Protection Regulation (GDPR): A Commentary (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/678/9780198911678.jpg?2027-the-eu-general-data-protection-regulation-gdpr-a-commentary-hardcover-book&class=scaled&v=1792587460)
![Cover for King, Daniel (Professor of Organisation Studies, Professor of Organisation Studies, Nottingham Trent University) · Organizational Behaviour (Paperback Book) [5 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/656/9780197943656.jpg?king-daniel-professor-of-organisation-studies-professor-of-organisation-studies-nottingham-trent-university-2027-organizational-behaviour-paperback-book&class=scaled&v=1792735220)
![Cover for Gilmore, Stephen (Professor of Family Law and Vice-Dean, Professor of Family Law and Vice-Dean, King's College London) · Hayes & Williams' Family Law (Paperback Book) [8 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/233/9780192866233.jpg?gilmore-stephen-professor-of-family-law-and-vice-dean-professor-of-family-law-and-vice-dean-king-s-college-london-2027-hayes-williams-family-law-paperback-book&class=scaled&v=1677285021)
![Cover for Health, Illness, and Medicine in Canada (Paperback Book) [9 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/516/9780190170516.jpg?2027-health-illness-and-medicine-in-canada-paperback-book&class=scaled&v=1790604647)
