Siirry suoraan sisältöön
Sequents and Trees
Tallenna

Sequents and Trees

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Alaotsikko
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Painos
2021 ed.
ISBN
9783030571474
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
18.12.2021
Sivumäärä
345