E-bok, Engelska, 2014
Proof Theory
Sequent Calculi and Related Formalisms
1091 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi
Produktinformation
- Utgivningsdatum: 2014-08-20
- Språk: Engelska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9781466564688
- Förlag: Taylor & Francis Inc
- Serie: Discrete Mathematics and Its Applications
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.