A precise definition of an inference (by the example of natural deduction systems for logics I<alpha>, <beta>статья Научно-популярная статья

Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 21 октября 2017 г.

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Полный текст Вариант, принятый к публикации nv_logiki_2015_HI_Smirnov_english.pdf 476,9 КБ 14 июня 2017 [shangin]