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

Na minha lista:

Detalhes bibliográficos
Outros Autores:	Crosilla, Laura (Editor), Schuster, Peter, 1966- (Editor)
Formato:	livro eletrônico
Idioma:	English
Publicado em:	Oxford : Clarendon, 2005.
coleção:	Oxford logic guides ; 48.
Assuntos:	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.
Acesso em linha:	Click for online access

Click for online access

Detalhes do Exemplar Online
	Disponível

Registros relacionados