A theory of formal deducibility

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