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

Temporal Logic: Volume 2

Dov M Gabbay

Inbunden

5589:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

  • 612 sidor
  • 2000
Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the same authors, deals with an area of logic of interest in computer science, which considers the particularly rich and complex effects of time.
  • Författare: Dov M Gabbay
  • Illustratör: line figures
  • Format: Inbunden
  • ISBN: 9780198537687
  • Språk: Engelska
  • Antal sidor: 612
  • Utgivningsdatum: 2000-03-01
  • Förlag: OUP Oxford

Du kanske gillar

  1. bokomslag Handbook of Philosophical Logic

    Handbook of Philosophical Logic

    Franz Guenthner Dov M Gabbay

    Pocket

    1499:-
  2. bokomslag Semantical Investigations in Heyting's Intuitionistic Logic

    Semantical Investigations in Heyting'...

    Dov M Gabbay

    Pocket

    2229:-
  3. bokomslag Approaches to Legal Rationality

    Approaches to Legal Rationality

    Dov M Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin

    Inbunden

    2529:-
  4. bokomslag Revision, Acceptability and Context

    Revision, Acceptability and Context

    Dov M Gabbay, Odinaldo T Rodrigues, Alessandra Russo

    Pocket

    2229:-
  5. bokomslag Handbook of Philosophical Logic

    Handbook of Philosophical Logic

    Franz Guenthner Dov M Gabbay

    Pocket

    2969:-
  6. bokomslag Abductive Reasoning and Learning

    Abductive Reasoning and Learning

    Philippe Smets Dov M Gabbay

    Inbunden

    2969:-
  7. bokomslag A New Perspective on Nonmonotonic Logics

    A New Perspective on Nonmonotonic Logics

    Karl Schlechta Dov M Gabbay

    Inbunden

    1499:-
  8. bokomslag Handbook of Philosophical Logic

    Handbook of Philosophical Logic

    Franz Guenthner Dov M Gabbay

    Inbunden

    1499:-
  9. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  10. bokomslag Temporal Logic

    Temporal Logic

    Hans J Ohlbach Dov M Gabbay

    Pocket

    1499:-

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

    4129:-
  3. bokomslag Temporal Logic: Volume 1

    Temporal Logic: Volume 1

    Dov M Gabbay

    Inbunden

    6479:-
  4. bokomslag Labelled Deductive Systems

    Labelled Deductive Systems

    Dov M Gabbay

    Inbunden

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

    Mathematical Problems from Applied Lo...

    Michael Zakharyaschev Dov M Gabbay

    Inbunden

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

    Greek, Indian and Arabic Logic

    Dov M Gabbay

    Inbunden

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

    British Logic in the Nineteenth Century

    Dov M Gabbay

    Inbunden

    4999:-
  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

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

    Logic and the Modalities in the Twent...

    Dov M Gabbay

    Inbunden

    3879:-