Laura Crosilla – författare
Visar alla böcker från författaren Laura Crosilla. Handla med fri frakt och snabb leverans.
2 produkter
Pillars of Enduring Strength
Learning from Hermann Weyl
Av Laura Crosilla, Øystein Linnebo m. fl.
Inbunden, 2026
1305 kr
Kommande
Mathematician Hermann Weyl's philosophy of mathematics is a rich source of original and sophisticated ideas that remain highly relevant to contemporary debates in the field. Despite this, Weyl's philosophical insights on the foundation of mathematics remain largely overlooked.Pillars of Enduring …
From Sets and Types to Topology and Analysis
Towards practicable foundations for constructive mathematics
Av Laura Crosilla, Peter Schuster
Inbunden, 2005
3910 kr
Lägg i varukorg
This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analysis, …
