REBIUN - ODA

Catálogo de la Red de Bibliotecas Universitarias y Científicas

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics

Clarendon Press 2005

Monografía

monografia Rebiun02806360 https://catalogo.rebiun.org/rebiun/record/Rebiun02806360 050505s2005 xxk 101 0 eng GBA562534 0198566514 UR0267905 StDuBDS. StDuBDS. Uk. BUS From sets and types to topology and analysis towards practicable foundations for constructive mathematics edited by Laura Crosilla and Peter Schuster Oxford Clarendon Press 2005 Oxford Oxford Clarendon Press XIX, 350 p. 24 cm XIX, 350 p. Oxford logic guides 48 "This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Prefacio Incluye referencias bibliográficas e índice Lógica matemática- Congresos Conjuntos, Teoría de- Congresos Crosilla, Laura Schuster, Peter 1966-)

Localizaciones: 2
Préstamo interbibliotecario

Formato:

Título:

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

Editorial:

Oxford : Clarendon Press, 2005

Descripción física:

XIX, 350 p. ; 24 cm

Mención de serie:

Oxford logic guides ; 48

Nota general:

"This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Prefacio

Bibliografía:

Incluye referencias bibliográficas e índice

ISBN:

0198566514

Materia:

Autores:

Consultar en el catálogo

Consultar en el catálogo

Seleccione el centro al que pertenece para solicitar la petición de préstamo de este documento.

Filtrar por:

Relacionados

Misma Editorial y Colección

Autores Clote, Peter, ed. lit Krajícek, Jan, ed. lit

Publicación Oxford : Clarendon Press, 1993

Formato Monografía

Formato Monografía
Autores Clote, Peter Krajícek, Jan

Publicación Oxford [England] : Clarendon Press ; New York : Oxford University Press, c1993

Formato Monografía

Formato Monografía
Autores Clote, Peter Krajícek, Jan

Publicación Oxford : Clarendon Press, 2000

Formato Monografía

Formato Monografía
Autores Gabbay, D. (1945-), editor Hodkinson, Ian, editor Reynolds, Mark C., editor

Publicación Oxford : Clarendon Press, 1994

Formato Monografía

Formato Monografía
Autores Sambin, Giovanni Smith, Jan M.

Publicación Oxford : Clarendon Press, 1998

Formato Monografía

Formato Monografía
Autores Sambin, Giovanni Smith, Jan M.

Publicación Oxford : Clarendon Press ; New York : Oxford University Press, 1998

Formato Monografía

Formato Monografía
Autores Awodey, Steve (1959-)

Publicación Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 2006

Formato Monografía

Formato Monografía
Autores Bell, J. L.

Publicación Oxfors : Clarendon Press, 1977

Formato Monografía

Formato Monografía
Autores Bell, J. L.

Publicación Oxfors : Clarendon Press, 1985

Formato Monografía

Formato Monografía
Autores Bell, J. L.

Publicación Oxford : Clarendon Press, 2005

Formato Monografía

Formato Monografía
Autores Bell, J. L. (John Lane)

Publicación Oxford [Oxfordshire] : Clarendon Press, 2011

Formato Monografía

Formato Monografía
Autores Bell, John L.

Publicación Oxford : Clarendon Press : Oxford University Press, 2005

Formato Monografía

Formato Monografía