Kniha momentálne nie je na sklade
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Autori
Hodnotenie knihy
Parametre
- 364 stránok
- 13 hodin čítania
Viac o knihe
Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications and metatheoretical results rather than just proof theory. It presents an elementary and self-contained approach, with formal and informal explanations of technical details. Readers will find numerous worked proofs, including key results like the cut-elimination theorem and completeness. Additionally, some proofs are left as exercises, enabling readers to practice and enhance their understanding of sequent calculus techniques.
Nákup knihy
Sequents and Trees, Andrzej Indrzejczak
- Jazyk
- Rok vydania
- 2020
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Tu nám chýba tvoja recenzia
- Titul
- Sequents and Trees
- Podtitul
- An Introduction to the Theory and Applications of Propositional Sequent Calculi
- Jazyk
- anglicky
- Autori
- Andrzej Indrzejczak
- Vydavateľ
- Springer International Publishing
- Rok vydania
- 2020
- Väzba
- pevná
- Počet strán
- 364
- ISBN13
- 9783030571443
- Série
- Hodnotenie
- 3 z 5
- Anotácia
- Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications and metatheoretical results rather than just proof theory. It presents an elementary and self-contained approach, with formal and informal explanations of technical details. Readers will find numerous worked proofs, including key results like the cut-elimination theorem and completeness. Additionally, some proofs are left as exercises, enabling readers to practice and enhance their understanding of sequent calculus techniques.