Sequents and Trees
Andrzej Indrzejczak - Hardback
£54.99
Find out more
Andrzej Indrzejczak is a logician working on the problems of proof theory and its applications to non-classical logics. He is an author of several papers on natural deduction and sequent systems for modal and temporal logics, and of the monograph Natural Deduction, Hybrid Systems and Modal Logics (Springer, 2010).