Beschrijving
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
Boekdetails
Formaat
eBook
Pagina's
350 pagina's
Taal
Engels
Gepubliceerd
jan. 10, 2010
Uitgever
Oxford University Press, USA
Edities
3 edities
ISBN-10
1280754036
ISBN-13
9781280754036