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)
978-0-19-171392-7 (ISBN)

Produkt-Details

• Erscheint lt. Verlag: 1.9.2007
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-10: 0-19-171392-9 / 0191713929
• ISBN-13: 978-0-19-171392-7 / 9780191713927
• Zustand: Neuware