Detalls del llibre
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Llegir més - Autor/a Andrzej Indrzejczak
- ISBN13 9783030571443
- ISBN10 3030571440
- Pàgines 345
- Any Edició 2020
- Fecha de publicación 17/12/2020
- Idioma Alemany, Francès
Ressenyes i valoracions
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Alemany, Francès)
- De
- Andrzej Indrzejczak
- |
- Springer (2020)
- 9783030571443



