From sets and types to topology and analysis : towards practicable foundations for constructive mathematics


edited by Laura Crosilla and Peter Schuster
Bok Engelsk 2005

Detaljer

Bibliotek som har denne