From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides, Vol. 48)

Name: From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides, Vol. 48)
Author: Laura Crosilla

by Laura Crosilla · 1 review · 2006

Reviewed by	Journal	Date	Access
Jaap Van Oosten	The Bulletin of Symbolic Logic	2006-12-01	Restricted

Metaphysics & Logic

Search PhilReviews for this title