De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
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

af Katalin Bimbo
Proof Theory af 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:
  • 234x156x24 mm.
  • Vægt:
  • 580 g.
  • 2-4 uger.
  • 19. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: