From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster.

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Crosilla, Laura (Επιμελητής έκδοσης), Schuster, Peter, 1966- (Επιμελητής έκδοσης)
Μορφή:	Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Oxford : Clarendon, 2005.
Σειρά:	Oxford logic guides ; 48.
Θέματα:	Constructive mathematics > Congresses. MATHEMATICS > Infinity. MATHEMATICS > Logic. Constructive mathematics Constructieve wiskunde. Analyse (wiskunde) Topologie. Electronic books. proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Διαθέσιμο Online:	Click for online access

Click for online access

Λεπτομέρειες τεκμηρίων από Online
	Στη βιβλιοθήκη

Παρόμοια τεκμήρια