Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
Andrzej Indrzejczak
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
Andrzej Indrzejczak
Out of stock
Format: Book (Paperback / softback)