Вернуться к Подробностям о статье Два метода построения логических исчислений: логики заключений и логики формул. Скачать Скачать PDF