Natural deduction, hybrid systems and modal logics - Indrzejczak Andrzej (New York Springer-Verlag, 2010)
Keywords: Mathematical logic; Modality (Logic); Symbolic logic