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.
Series
5 primary booksAuthored 20% of series
Oxford Logic Guides is a 4-book series with 4 primary works first released in 1992 with contributions by Colin McLarty, Dov M. Gabbay, and 5 others.