Laura Crosilla has written at least 1 book. Their most popular book is From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics with 1 save with an average rating of -⭐.
They are best known for writing in the genre Mathematics.
#48 of 5 in Oxford Logic Guides
2005 • 1 Reader • 350 pages