Post's Logics in Natural Deduction Settingдоклад на конференции