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

Temporal Logic: Volume 1

Dov M Gabbay

Inbunden

6439:-

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

Uppskattad leveranstid 10-15 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 the Bible and Theology: Two-Volume Set

    The Oxford Encyclopedia of the Bible ...

    Samuel E Balentine

    Inbunden

    6439:-
  2. bokomslag Discoveries in the Judaean Desert: Volume XX. Qumran Cave 4: XV

    Discoveries in the Judaean Desert: Vo...

    Joseph A Fitzmyer

    Inbunden

    6439:-
  3. bokomslag The Oxford Encyclopedia of Natural Hazards Governance

    The Oxford Encyclopedia of Natural Ha...

    Brian J Gerber

    Inbunden

    6439:-
  4. bokomslag Au revoir Agneta

    Au revoir Agneta

    Emma Hamberg

    Pocket

    69:- (119:-)
  5. bokomslag The Oxford Encyclopedia of Foreign Policy Analysis

    The Oxford Encyclopedia of Foreign Po...

    Cameron G Thies

    Inbunden

    6439:-
  6. bokomslag Religious Leadership

    Religious Leadership

    Sharon Henderson Callahan

    Inbunden

    6439:-
  7. bokomslag Handbook of Philosophical Logic

    Handbook of Philosophical Logic

    Franz Guenthner Dov M Gabbay

    Pocket

    2869:-
  8. bokomslag The Oxford Encyclopedia of Islam and Women

    The Oxford Encyclopedia of Islam and ...

    Natana J Delong-Bas

    Inbunden

    6439:-
  9. bokomslag The Oxford Encyclopedia of the Books of the Bible

    The Oxford Encyclopedia of the Books ...

    Michael D Coogan

    Inbunden

    6439:-
  10. bokomslag The Oxford Encyclopedia of International Criminology

    The Oxford Encyclopedia of Internatio...

    Inbunden

    6439:-

Andra av samma författare

  1. bokomslag What is Negation?

    What is Negation?

    Heinrich Wansing Dov M Gabbay

    Inbunden

    3969:-
  2. bokomslag Logic from Russell to Church

    Logic from Russell to Church

    Dov M Gabbay

    Inbunden

    3559:-
  3. bokomslag The Many Valued and Nonmonotonic Turn in Logic

    The Many Valued and Nonmonotonic Turn...

    Dov M Gabbay

    Inbunden

    5259:-
  4. bokomslag Fibring Logics

    Fibring Logics

    Dov M Gabbay

    Inbunden

    2309:-
  5. bokomslag Interpolation and Definability

    Interpolation and Definability

    Dov M Gabbay

    Inbunden

    4099:-
  6. bokomslag Temporal Logic: Volume 2

    Temporal Logic: Volume 2

    Dov M Gabbay

    Inbunden

    5559:-
  7. bokomslag Labelled Deductive Systems

    Labelled Deductive Systems

    Dov M Gabbay

    Inbunden

    2469:-
  8. bokomslag Mathematical Problems from Applied Logic I

    Mathematical Problems from Applied Lo...

    Michael Zakharyaschev Dov M Gabbay

    Inbunden

    2869:-
  9. bokomslag Greek, Indian and Arabic Logic

    Greek, Indian and Arabic Logic

    Dov M Gabbay

    Inbunden

    3229:-
  10. bokomslag British Logic in the Nineteenth Century

    British Logic in the Nineteenth Century

    Dov M Gabbay

    Inbunden

    4959:-