Zum Inhalt springen Crosilla, Laura [Mitwirkende:r]; Schuster, Peter [Mitwirkende:r] From sets and types to topology and analysis : towards practicable foundations for constructive mathematics Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford: Clarendon, 2005 Erschienen in: Oxford logic guides ; 48
Crosilla, Laura [Mitwirkende:r]; Schuster, Peter [Mitwirkende:r] From sets and types to topology and analysis : towards practicable foundations for constructive mathematics Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford: Clarendon, 2005 Erschienen in: Oxford logic guides ; 48
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Person/Institution Skip to next facet Crosilla, Laura (1) Wert ausschließen Schuster, Peter (1) Wert ausschließen zeige weitere weniger zeigen