HASKELL B. CURRY — A THEORY of FORMAL DEDUCIBILITY :: Электронная библиотека попечительского совета мехмата МГУ

Авторизация

Поиск по указателям

HASKELL B. CURRY — A THEORY of FORMAL DEDUCIBILITY

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: A THEORY of FORMAL DEDUCIBILITY

Автор: HASKELL B. CURRY

Аннотация:

The substance of this booklet was presented In five lectures at the University of Notre Dame, April 12-15, 1948.

Язык:

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1950

Количество страниц: 134

Добавлена в каталог: 17.08.2021

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

О проекте