Formale Arithmetik in einem System der λ-Konversion mit logischen Operatorenстатья

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