Формальная арифметика в системе λ-конверсии с логическими операторамистатья

Информация о цитировании статьи получена из Web of Science
Дата последнего поиска статьи во внешних источниках: 17 июня 2016 г.