Natural Deduction, Hybrid Systems And Modal Logics door Andrzej Indrzejczak