Varieties of constructive mathematics

Сохранить в:
Библиографические подробности
Главный автор: Bridges, Douglas
Формат: ‌
Опубликовано: Cambridge Univ. Pr. 1987
Предметы:
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!