From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Rathjen, Michael (VerfasserIn)
Weitere Verfasser: Crosilla, Laura (HerausgeberIn), Schuster, Peter (HerausgeberIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Oxford : Clarendon Press, 2005
Ausgabe:1st ed.
Schriftenreihe:Oxford logic guides. 48
Schlagworte:
ISBN:0198566514
Online-Zugang: Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge