Labelled Deductive Systems 1
bokomslag Labelled Deductive Systems
Data & IT

Labelled Deductive Systems

Dov M Gabbay

Inbunden

2469:-

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

Uppskattad leveranstid 7-11 arbetsdagar

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

  • 510 sidor
  • 1996
This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.
  • Författare: Dov M Gabbay
  • Format: Inbunden
  • ISBN: 9780198538332
  • Språk: Engelska
  • Antal sidor: 510
  • Utgivningsdatum: 1996-09-01
  • Förlag: Clarendon Press

Du kanske gillar

  1. bokomslag Handbook of Philosophical Logic

    Handbook of Philosophical Logic

    Franz Guenthner Dov M Gabbay

    Pocket

    2869:-
  2. bokomslag Au revoir Agneta

    Au revoir Agneta

    Emma Hamberg

    Pocket

    69:- (119:-)
  3. bokomslag De fenomenala fruntimren på Grand Hôtel

    De fenomenala fruntimren på Grand Hôtel

    Ruth Kvarnström Jones

    Pocket

    69:- (119:-)
  4. bokomslag Dit floden för dig

    Dit floden för dig

    Shelley Read

    Pocket

    119:-
  5. Ny
    bokomslag Med döden som gäst

    Med döden som gäst

    Carin Hjulström

    Pocket

    119:-
  6. Ny
    bokomslag Dancing Queen

    Dancing Queen

    Denise Rudberg

    Pocket

    69:- (119:-)
  7. bokomslag Pojken, mullvaden, räven och hästen

    Pojken, mullvaden, räven och hästen

    Charlie Mackesy

    Inbunden

    199:- (299:-)
  8. Ny
    bokomslag Drömmar av brons

    Drömmar av brons

    Camilla Läckberg

    Inbunden

    249:- (279:-)
  9. Ny
    bokomslag Honungsfällan : historien om Swedbank, Ryssland och världens största penningtvättskandal

    Honungsfällan : historien om Swedbank...

    Lars Berge • Axel Gordh Humlesjö

    Inbunden

    299:-
  10. bokomslag Lektioner i kemi

    Lektioner i kemi

    Bonnie Garmus

    Pocket

    119:-

Andra av samma författare

  1. bokomslag What is Negation?

    What is Negation?

    Heinrich Wansing Dov M Gabbay

    Inbunden

    3899:-
  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 Temporal Logic: Volume 1

    Temporal Logic: Volume 1

    Dov M Gabbay

    Inbunden

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

    Mathematical Problems from Applied Lo...

    Michael Zakharyaschev Dov M Gabbay

    Inbunden

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