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

Temporal Logic: Volume 2

Dov M Gabbay

Inbunden

5609:-

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

    2239:-
  2. bokomslag Handbook of Philosophical Logic

    Handbook of Philosophical Logic

    Franz Guenthner Dov M Gabbay

    Pocket

    1509:-
  3. bokomslag Semantical Investigations in Heyting's Intuitionistic Logic

    Semantical Investigations in Heyting'...

    Dov M Gabbay

    Pocket

    2239:-
  4. bokomslag Revision, Acceptability and Context

    Revision, Acceptability and Context

    Dov M Gabbay, Odinaldo T Rodrigues, Alessandra Russo

    Pocket

    2239:-
  5. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  6. bokomslag Sly

    Sly

    Sara Strömberg

    Pocket

    69:- (119:-)
  7. bokomslag Handbook of Philosophical Logic

    Handbook of Philosophical Logic

    Franz Guenthner Dov M Gabbay

    Pocket

    2989:-
  8. Pranklåda Yumi & Tomu

    Pranklåda Yumi & Tomu

    Pranklåda , Kärnan

    299:- (399:-)
  9. bokomslag Abductive Reasoning and Learning

    Abductive Reasoning and Learning

    Philippe Smets Dov M Gabbay

    Inbunden

    2989:-
  10. Hitster Music Card Game (Svenska)

    Hitster Music Card Game (Svenska)

    Spel, Hitster

    Personalens favorit!

    299:- (349:-)

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 1

    Temporal Logic: Volume 1

    Dov M Gabbay

    Inbunden

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