"Natural Deduction, Hybrid Systems and Modal Logics (Trends in Logic Volume 30)" - читать интересную книгу автора (Andrzej Indrzejczak)