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)
Natural Deduction, Hybrid Systems and Modal Logics
Andrzej Indrzejczak
Out of stock
Format: Book (Hardback)
Natural Deduction, Hybrid Systems and Modal Logics
Andrzej Indrzejczak
Download - Immediately Available
Format: eBook (PDF)
Natural Deduction, Hybrid Systems and Modal Logics
Andrzej Indrzejczak
Item not Available
Format: Book (Paperback / softback)
£199.99
£171.75
Item not Available
Book (Paperback / softback)