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

Gorde:

Xehetasun bibliografikoak
Beste egile batzuk:	Crosilla, Laura (Argitaratzailea), Schuster, Peter, 1966- (Argitaratzailea)
Formatua:	eBook
Hizkuntza:	English
Argitaratua:	Oxford : Clarendon, 2005.
Saila:	Oxford logic guides ; 48.
Gaiak:	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.
Sarrera elektronikoa:	Click for online access

Click for online access

Aleari buruzko argibideak Online
	Eskuragarri

Antzeko izenburuak