Arithmetic completeness of type-free logicстатья

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