Вернуться к Подробностям о статье
On the Definitional Embeddability of the Combinatory Logic Theory into the First-Order Predicate Calculus
Скачать
Скачать PDF