Labelled Deductive Systems 1
bokomslag Labelled Deductive Systems
Data & IT

Labelled Deductive Systems

Dov M Gabbay

Inbunden

2179:-

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

Uppskattad leveranstid 3-7 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

    2259:-
  2. Hitster Rock

    Hitster Rock

    Spel, Hitster

    349:-
  3. bokomslag Smak

    Smak

    Jennie Walldén

    Inbunden

    299:-
  4. Ny
    bokomslag Patriot

    Patriot

    Aleksej Navalnyj

    Inbunden

    279:- (319:-)
  5. bokomslag Handbook of Philosophical Logic

    Handbook of Philosophical Logic

    Franz Guenthner Dov M Gabbay

    Pocket

    1519:-
  6. Kluster

    Kluster

    Spel

    279:-
  7. bokomslag Pettson och Findus bygger en bil

    Pettson och Findus bygger en bil

    Sven Nordqvist

    151:- (189:-)
  8. bokomslag Sommarskuggan och julbuset

    Sommarskuggan och julbuset

    Tina Mackic

    Inbunden

    189:-
  9. bokomslag Pixi adventskalender Emma Göthner

    Pixi adventskalender Emma Göthner

    Emma Göthner

    Häftad

    159:-
  10. bokomslag Semantical Investigations in Heyting's Intuitionistic Logic

    Semantical Investigations in Heyting'...

    Dov M Gabbay

    Pocket

    2259:-

Andra av samma författare

  1. bokomslag Fibring Logics

    Fibring Logics

    Dov M Gabbay

    Inbunden

    2269:-
  2. bokomslag Interpolation and Definability

    Interpolation and Definability

    Dov M Gabbay

    Inbunden

    4029:-
  3. bokomslag Temporal Logic: Volume 2

    Temporal Logic: Volume 2

    Dov M Gabbay

    Inbunden

    5469:-
  4. bokomslag Temporal Logic: Volume 1

    Temporal Logic: Volume 1

    Dov M Gabbay

    Inbunden

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

    Mathematical Problems from Applied Lo...

    Michael Zakharyaschev Dov M Gabbay

    Inbunden

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

    Greek, Indian and Arabic Logic

    Dov M Gabbay

    Inbunden

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

    British Logic in the Nineteenth Century

    Dov M Gabbay

    Inbunden

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

    The Rise of Modern Logic: from Leibni...

    Dov M Gabbay

    Inbunden

    3669:-
  9. bokomslag Logic from Russell to Church

    Logic from Russell to Church

    Dov M Gabbay

    Inbunden

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

    Logic and the Modalities in the Twent...

    Dov M Gabbay

    Inbunden

    3789:-