Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
- Author
- Andrzej Indrzejczak
- Publisher
- Birkhäuser
- Language
- English
- Year
- 2021
- Page
- 345
- ISBN
- 3030571440,9783030571443
- File Type
- pdf
- File Size
- 4.7 MiB
How to Download?!!!
Just click on START button on Telegram Bot