Описание
This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more s
Детали книги
Формат
электронная книга
Страницы
350 страниц
Язык
Английский
Опубликовано
Jan 10, 2010
Издатель
Oxford University Press, USA
Издания
3 editions
ISBN-10
1280754036
ISBN-13
9781280754036
Жанры
Наука и технологии