Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Proof Theory

Proof Theory

av Katalin Bimbo
Proof Theory av Katalin Bimbo
Om Proof Theory

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781032920771
  • Format:
  • Häftad
  • Sidor:
  • 386
  • Utgiven:
  • 14. oktober 2024
  • Mått:
  • 234x156x24 mm.
  • Vikt:
  • 580 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 28. januari 2025
Förlängd ångerrätt till 31. januari 2025
  •  

    Kan ej levereras före jul.
    Köp nu och skriv ut ett presentkort

Om Katalin Bimbo

Se alla böcker av Katalin Bimbo

Beskrivning av Proof Theory

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from

Användarnas betyg av Proof Theory



Andra köpte även...
Hitta liknande böcker
Boken Proof Theory finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.