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

Sequents and Trees

sidottu, 2020
englanti
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
9783030571443
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
17.12.2020
Sivumäärä
345