Ebook: Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Author: Andrzej Indrzejczak
- Year: 2021
- Publisher: Springer International Publishing
- Language: English
- epub
Download the book Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)