Gå direkte til innholdet
Sequents and Trees
Spar

Sequents and Trees

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Undertittel
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Opplag
2021 ed.
ISBN
9783030571474
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
18.12.2021
Antall sider
345