描述
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 页
语言
英语
已发布
1月 10, 2010
出版商
Oxford University Press, USA
版本
3 个版本
ISBN-10
1280754036
ISBN-13
9781280754036