Opis
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
Szczegóły książki
Format
eBook
Strony
350 stron
Język
Angielski
Opublikowany
sty 10, 2010
Wydawca
Oxford University Press, USA
Wydania
Wydania: 3
ISBN-10
1280754036
ISBN-13
9781280754036