Natural Deduction, Hybrid Systems And Modal Logics by Andrzej Indrzejczak