From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

Author: Laura Crosilla, Peter Schuster
Language: English
Year: 2005
Page: 371
ISBN: 0198566514,9781423753100,9780198566519
File Type: pdf
File Size: 1.6 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book