Ebook: From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
Author: Crosilla Laura, Schuster Peter (eds.)
- Genre: Mathematics // Logic
- Series: Oxford logic guides 48
- Year: 2005
- Publisher: Oxford University Press
- City: Oxford
- Language: English
- pdf
Download the book From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)