Tell your friends about this item:
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic Andrzej Indrzejczak 2021 edition
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic
Andrzej Indrzejczak
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
345 pages, XVI, 345 p.
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | December 17, 2020 |
| ISBN13 | 9783030571443 |
| Publishers | Springer Nature Switzerland AG |
| Pages | 345 |
| Dimensions | 242 × 161 × 29 mm · 682 g |
| Language | German |
More by Andrzej Indrzejczak
Show allMere med samme udgiver
See all of Andrzej Indrzejczak ( e.g. Hardcover Book and Paperback Book )