Beskrivning
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
Bokdetaljer
Format
e-bok
Sidor
350 sidor
Språk
Engelska
Publicerad
jan 10, 2010
Förlag
Oxford University Press, USA
Upplagor
3 utgåvor
ISBN-10
1280754036
ISBN-13
9781280754036