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.
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.