Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Proof Theory

Proof Theory - Katalin Bimbo - Bog

af Katalin Bimbo
Proof Theoryaf Katalin Bimbo
Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781032920771
  • Indbinding:
  • Paperback
  • Sideantal:
  • 386
  • Udgivet:
  • 14. Oktober 2024
  • Størrelse:
  • 156x234x0 mm.
  • Kan forudbestilles.
  • 14. Oktober 2024

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Katalin Bimbo

Vis alle bøger af Katalin Bimbo

Beskrivelse af 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

Brugerbedømmelser af Proof Theory



Andre købte også..
Find lignende bøger
Bogen Proof Theory findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.