Descrizione
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
Dettagli del libro
Formato
eBook
Pagine
350 pagine
Lingua
Inglese
Pubblicato
gen 10, 2010
Editore
Oxford University Press, USA
Edizioni
3 edizioni
ISBN-10
1280754036
ISBN-13
9781280754036