Andrzej Indrzejczak

Books
Sequents and Trees Sequents and Trees
Sequents and Trees
2020
Natural Deduction, Hybrid Systems and Modal Logics Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
2010