Knihu momentálně nemáme skladem
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Autoři
Hodnocení knihy
Parametry
- 364 stránek
- 13 hodin čtení
Více o knize
Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications for proving various metatheoretical results. It offers a clear, self-contained presentation, combining formal and informal explanations of technical details. Readers will find numerous worked proofs, including key concepts like cut-elimination, completeness, decidability, and interpolation. Additionally, some proofs are presented as exercises, encouraging readers to engage with and practice the techniques of sequent calculus.
Nákup knihy
Sequents and Trees, Andrzej Indrzejczak
- Jazyk
- Rok vydání
- 2021
- product-detail.submit-box.info.binding
- (měkká)
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Tady nám chybí tvá recenze.
- Titul
- Sequents and Trees
- Podtitul
- An Introduction to the Theory and Applications of Propositional Sequent Calculi
- Jazyk
- anglicky
- Autoři
- Andrzej Indrzejczak
- Vydavatel
- Springer International Publishing
- Rok vydání
- 2021
- Vazba
- měkká
- Počet stran
- 364
- ISBN13
- 9783030571474
- Série
- Hodnocení
- 3 z 5
- Anotace
- Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications for proving various metatheoretical results. It offers a clear, self-contained presentation, combining formal and informal explanations of technical details. Readers will find numerous worked proofs, including key concepts like cut-elimination, completeness, decidability, and interpolation. Additionally, some proofs are presented as exercises, encouraging readers to engage with and practice the techniques of sequent calculus.