Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi

Sponsored  This site contains affiliate links for which we may receive compensation. More information
Identifiers
Dimensions / Weight
Key Features
Andrzej Indrzejczak