From Sets and Types to Topology and Analysis

Towards Practicable Foundations for Constructive Mathematics

Laura Crosilla, Peter Schuster (Herausgeber)

Online Resource

2007
Clarendon Press (Hersteller)
9780191713927 (ISBN)

Produkt-Details

• Erscheint lt. Verlag: 1.9.2007
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-13: 9780191713927 / 9780191713927
• Zustand: Neuware