"From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides, Volume 48)" - читать интересную книгу автора (Laura Crosilla, Peter Schuster)