Obecnie nie mamy tej książki w magazynie
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Autorzy
Ocena książki
Więcej o książce
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.
Wydanie
Zakup książki
Sequents and Trees, Andrzej Indrzejczak
- Język
- Rok wydania
- 2020
- Oprawa
- (twarda)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Brakuje nam tutaj Twojej recenzji.
- Tytuł
- Sequents and Trees
- Podtytuł
- An Introduction to the Theory and Applications of Propositional Sequent Calculi
- Język
- angielski
- Autorzy
- Andrzej Indrzejczak
- Rok wydania
- 2020
- Oprawa
- twarda
- Liczba stron
- 364
- ISBN13
- 9783030571443
- Seria
- Tagi
- Ocena
- 3 z 5
- Opis
- 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.