Ebooks de Laura Crosilla en PDF

1 Livre(s)
Télécharger le livre : From Sets and Types to Topology and Analysis
Ajouter à ma liste d'envies
From Sets and Types to Topology and Analysis
Laura Crosilla , Peter Schuster
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 specific efforts...

Editeur : Clarendon Press
Parution : 2005-10-06

PDF

150,91 €