Andrzej Indrzejczak

Natural Deduction, Hybrid Systems and Modal Logics - 2010 - Springer Netherlands 2010 - Trends in Logic .

9789048187850


Mathematics and Statistics