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