Varieties of constructive mathematics

Збережено в:
Бібліографічні деталі
Автор: Bridges, Douglas
Формат: Книга
Опубліковано: Cambridge Univ. Pr. 1987
Предмети:
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!