Temporal Logic: Volume 1 1
bokomslag Temporal Logic: Volume 1
Data & IT

Temporal Logic: Volume 1

Dov M Gabbay

Inbunden

6499:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 668 sidor
  • 1994
BL Indispensable reference for both the pure logician and the theoretical computer scientist

This 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.
  • Författare: Dov M Gabbay
  • Format: Inbunden
  • ISBN: 9780198537694
  • Språk: Engelska
  • Antal sidor: 668
  • Utgivningsdatum: 1994-07-01
  • Förlag: Clarendon Press

Du kanske gillar

  1. bokomslag The Oxford Encyclopedia of Political Decision Making

    The Oxford Encyclopedia of Political ...

    Inbunden

    6499:-
  2. bokomslag The Oxford Encyclopedia of the Bible and Theology: Two-Volume Set

    The Oxford Encyclopedia of the Bible ...

    Samuel E Balentine

    Inbunden

    6499:-
  3. bokomslag Discoveries in the Judaean Desert: Volume XX. Qumran Cave 4: XV

    Discoveries in the Judaean Desert: Vo...

    Joseph A Fitzmyer

    Inbunden

    6499:-
  4. bokomslag The Oxford Encyclopedia of Natural Hazards Governance

    The Oxford Encyclopedia of Natural Ha...

    Brian J Gerber

    Inbunden

    6499:-
  5. bokomslag 21st Century Political Science: A Reference Handbook

    21st Century Political Science: A Ref...

    John T Ishiyama

    Inbunden

    6499:-
  6. bokomslag Encyclopedia of Drug Policy

    Encyclopedia of Drug Policy

    Mark A R Kleiman

    Inbunden

    6499:-
  7. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  8. bokomslag 21st Century Communication: A Reference Handbook

    21st Century Communication: A Referen...

    William F Eadie

    Inbunden

    6499:-
  9. bokomslag The Oxford Encyclopedia of International Criminology

    The Oxford Encyclopedia of Internatio...

    Inbunden

    6499:-
  10. bokomslag Encyclopedia of Crisis Management

    Encyclopedia of Crisis Management

    K Bradley Penuel

    Inbunden

    6499:-

Andra av samma författare

  1. bokomslag Fibring Logics

    Fibring Logics

    Dov M Gabbay

    Inbunden

    2329:-
  2. bokomslag Interpolation and Definability

    Interpolation and Definability

    Dov M Gabbay

    Inbunden

    4139:-
  3. bokomslag Temporal Logic: Volume 2

    Temporal Logic: Volume 2

    Dov M Gabbay

    Inbunden

    5609:-
  4. bokomslag Labelled Deductive Systems

    Labelled Deductive Systems

    Dov M Gabbay

    Inbunden

    2319:-
  5. bokomslag Mathematical Problems from Applied Logic I

    Mathematical Problems from Applied Lo...

    Michael Zakharyaschev Dov M Gabbay

    Inbunden

    2239:-
  6. bokomslag Greek, Indian and Arabic Logic

    Greek, Indian and Arabic Logic

    Dov M Gabbay

    Inbunden

    3259:-
  7. bokomslag British Logic in the Nineteenth Century

    British Logic in the Nineteenth Century

    Dov M Gabbay

    Inbunden

    5009:-
  8. bokomslag The Rise of Modern Logic: from Leibniz to Frege

    The Rise of Modern Logic: from Leibni...

    Dov M Gabbay

    Inbunden

    3729:-
  9. bokomslag Logic from Russell to Church

    Logic from Russell to Church

    Dov M Gabbay

    Inbunden

    3589:-
  10. bokomslag Logic and the Modalities in the Twentieth Century

    Logic and the Modalities in the Twent...

    Dov M Gabbay

    Inbunden

    3889:-