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

Tallennettuna:

Bibliografiset tiedot
Muut tekijät:	Crosilla, Laura (Toimittaja), Schuster, Peter, 1966- (Toimittaja)
Aineistotyyppi:	E-kirja
Kieli:	English
Julkaistu:	Oxford : Clarendon, 2005.
Sarja:	Oxford logic guides ; 48.
Aiheet:	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.
Linkit:	Click for online access

Click for online access

Saatavuus: Online
	Saatavissa

Samankaltaisia teoksia