“From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics” by L Crosilla & P Schuster is a 2005 hardcover textbook published by Oxford University Press.
“From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics” by L Crosilla & P Schuster is a 2005 hardcover textbook published by Oxford University Press.