|
|
by Gasquet, Olivier, Herzig, Andreas, Said, Bilal, Schwarzentruber, François
Published 2014
“...Studies in Universal Logic...”Published 2014
Birkhäuser
|
|
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
“...Studies in Universal Logic...”- 1
- 2