Description
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
Book Details
Format
eBook
Pages
350 pages
Language
English
Published
Jan 10, 2010
Publisher
Oxford University Press, USA
Editions
3 editions
ISBN-10
1280754036
ISBN-13
9781280754036