A theory of formal deducibility

Сохранить в:
Библиографические подробности
Главный автор: Curry, Haskell B (Автор)
Формат:
Язык:английский
Опубликовано: Notre Dame University of Notre Dame 1950
Серии:Notre Dame Mathematical Lectures, 6
Предметы:
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!

Biblioteca de Matemática -

Подробно о фондах из Biblioteca de Matemática -
Шифр: 511.3 CUR 1950
Копировать 2689553 Доступно Поместить задолженность