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
Détails du livre
Format
livre numérique
Pages
350 pages
Langue
Anglais
Publié
janv. 10, 2010
Éditeur
Oxford University Press, USA
Éditions
3 éditions
ISBN-10
1280754036
ISBN-13
9781280754036