Indrzejczak A. Natural deduction, hybrid systems and modal logics / A. Indrzejczak, 2010 r=on-line. - Текст : электронный.