Foundations of constructive mathematics : metamathematical studies /

Detalles Bibliográficos
Autor principal: Beeson, Michael J. (Autor, Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Berlín : Springer, c1985.
Materias:
LEADER 00639nam a2200193 u 4500
001 000105377
005 20000413092518.0
008 991025s1985 gw ||||| eng
035 |a 5706983 
040 |a Sistema de Bibliotecas de la Universidad de Costa Rica 
041 0 |a eng 
082 0 |a 511.3  |b B415f  |2 20 
100 1 |a Beeson, Michael J.  |e Autor/a  |4 aut 
245 1 0 |a Foundations of constructive mathematics :  |b metamathematical studies /  |c Michael J. Beeson 
260 |a Berlín :  |b Springer,  |c c1985. 
300 |a 466 páginas 
650 |a MATEMATICAS CONSTRUCTIVAS 
912 |a 13-APR-2000 - ROJAS SOTO, ANA EUDITH 
916 |a Centro Catalográfico