Norges billigste bøker

Proof Theory

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

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781032920771
  • Bindende:
  • Paperback
  • Sider:
  • 386
  • Utgitt:
  • 14. oktober 2024
  • Dimensjoner:
  • 234x156x24 mm.
  • Vekt:
  • 580 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 22. januar 2025

Beskrivelse 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

Brukervurderinger av Proof Theory



Finn lignende bøker
Boken Proof Theory finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.