• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Filosofi och religion
      2. Filosofi
      3. Filosofiska discipliner

      Introduction to Substructural Logics

      AvGreg Restall

      Häftad, Engelska, 1999

      622 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Fler format och utgåvor

      Inbunden

      2 465 kr

      E-bok

      690 kr

      E-bok

      729 kr

      Beskrivning

      This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered:* Proof Theory* Propositional Structures* Frames* Decidability* CodaBoth students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading.

      Produktinformation

      • Utgivningsdatum:1999-12-16
      • Mått:156 x 234 x 25 mm
      • Vikt:574 g
      • Format:Häftad
      • Språk:Engelska
      • Antal sidor:400
      • Förlag:Taylor & Francis Ltd
      • ISBN:9780415215343

      Utforska kategorier

      • Filosofiska discipliner inom Filosofi och religion
      • Systemvetenskap och AI inom Data och IT

      Mer om författaren

      Greg Restall is Senior Lecturer in Philosophy at Macquarie University in Sydney, Australia.

      Innehållsförteckning

      • Chapter 1 Introduction; Part 1 Proof Theory; Chapter 2 Ifs, Ands and Ors; Chapter 3 Chapter 3Modalities; Chapter 4 Hilbert Systems; Chapter 5 Theories; Chapter 6 Gentzen Systems; Chapter 7 Formulae as Types, Proofs as Terms; Part 2 Propositional Structures; Chapter 8 Defining Propositioned Structures; Chapter 9 Manipulating Propositional Structures; Chapter 10 Categories; Part 3 Frames; Chapter 11 Frames I: Logics with Distribution; Chapter 12 Frames II: Logics Rejecting Distribution; Chapter 13 Frame Constructions; Part 4 Decidability; Chapter 14 Decision Procedures; Chapter 15 Undecidability; Part 5 Coda; Chapter 16 Using Substructural Logic;
      Hoppa över listan

      Mer från samma författare

      JC Beall, Greg Restall - Logical Pluralism, Häftad

      Logical Pluralism

      JC Beall, Greg Restall

      Häftad, 2005

      844 kr

      Greg Restall - Proofs and Models in Philosophical Logic, Häftad

      Proofs and Models in Philosophical Logic

      Greg Restall

      Häftad, 2022

      240 kr

      JC Beall, Greg Restall - Logical Pluralism, Inbunden

      Logical Pluralism

      JC Beall, Greg Restall

      Inbunden, 2005

      786 kr

      Shawn Standefer, Greg Restall - Logical Methods, E-bok

      Logical Methods

      Shawn Standefer, Greg Restall

      E-bok
      2023

      498 kr

      Greg Restall, Shawn Standefer - Logical Methods, Häftad

      Logical Methods

      Greg Restall, Shawn Standefer

      Häftad, 2023

      484 kr

      Greg Restall - Logic, Inbunden

      Logic

      Greg Restall

      Inbunden, 2005

      2 465 kr

      Greg Restall - Logic, Häftad

      Logic

      Greg Restall

      Häftad, 2005

      622 kr

      Greg Restall - Proofs and Models in Philosophical Logic, E-bok

      Proofs and Models in Philosophical Logic

      Greg Restall

      E-bok
      2022

      284 kr

      Greg Restall - Proofs and Models in Philosophical Logic, E-bok

      Proofs and Models in Philosophical Logic

      Greg Restall

      E-bok
      2022

      287 kr

      Greg Restall - Logic, E-bok

      Logic

      Greg Restall

      E-bok
      2004

      729 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Greg Restall - Introduction to Substructural Logics, Inbunden

      Introduction to Substructural Logics

      Greg Restall

      Inbunden, 1999

      2 465 kr

      Greg Restall - Logic, Häftad

      Logic

      Greg Restall

      Häftad, 2005

      622 kr

      Greg Restall - Logic, E-bok

      Logic

      Greg Restall

      E-bok
      2004

      729 kr

      JC Beall, Greg Restall - Logical Pluralism, Inbunden

      Logical Pluralism

      JC Beall, Greg Restall

      Inbunden, 2005

      786 kr

      JC Beall, Greg Restall - Logical Pluralism, Häftad

      Logical Pluralism

      JC Beall, Greg Restall

      Häftad, 2005

      844 kr

      Greg Restall - Logic, Inbunden

      Logic

      Greg Restall

      Inbunden, 2005

      2 465 kr

      Greg Restall - Proofs and Models in Philosophical Logic, E-bok

      Proofs and Models in Philosophical Logic

      Greg Restall

      E-bok
      2022

      287 kr

      Greg Restall - Fifty Great Moments in the History of Logic, Inbunden

      Fifty Great Moments in the History of Logic

      Greg Restall

      Inbunden, 2017

      1 726 kr

      Greg Restall, Shawn Standefer - Logical Methods, Häftad

      Logical Methods

      Greg Restall, Shawn Standefer

      Häftad, 2023

      484 kr

      Shawn Standefer, Greg Restall - Logical Methods, E-bok

      Logical Methods

      Shawn Standefer, Greg Restall

      E-bok
      2023

      498 kr