Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Sequents and Trees, Andrzej Indrzejczak
- Lingua
- Pubblicato
- 2020
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.