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

Saved in:

Bibliographic Details
Other Authors:	Crosilla, Laura (Editor), Schuster, Peter, 1966- (Editor)
Format:	eBook
Language:	English
Published:	Oxford : Clarendon, 2005.
Series:	Oxford logic guides ; 48.
Subjects:	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 Access:	Click for online access

Click for online access

Holdings details from Online
	Available

Similar Items