Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
- Author
- Andrzej Indrzejczak
- Publisher
- Springer International Publishing
- Language
- English
- Year
- 2021
- ISBN
- 9783030571450
- File Type
- epub
- File Size
- 15.8 MiB
How to Download?!!!
Just click on START button on Telegram Bot