|
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
“.... Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses...”
|
by Fischer, Mareike, Herbst, Lina, Kersting, Sophie, Kühn, Annemarie Luise
Published 2023
Table of Contents:
“... and history of tree balance -- 4 Concepts of tree balance and imbalance -- Part II: Tree balance and imbalance...”Published 2023
Springer International Publishing