Intuitionism : an introduction.

Detalles Bibliográficos
Autor principal: Heyting, Arend n. 1898 (Autor, Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Amsterdam : North Holland, 1956.
Colección:Studies in logic and foundations of mathematics
Materias:
LEADER 00765nam a2200229 u 4500
001 000293039
005 .0
008 s1956 s1956 fs ||||| eng
035 |a 125828 
040 |a Sistema de Bibliotecas de la Universidad de Costa Rica 
041 0 |a eng 
082 0 |a 510.1  |b H621i  |2 21 
100 1 |a Heyting, Arend  |d n. 1898  |e Autor/a  |4 aut 
245 1 0 |a Intuitionism :  |b an introduction. 
260 |a Amsterdam :  |b North Holland,  |c 1956. 
300 |a 132 páginas :  |b ilustraciones ;  |c 22 cm.-- 
490 0 |a Studies in logic and foundations of mathematics 
504 |a Bibliografia: p. [123]-129. 
650 |a LOGICA, SIMBOLICA Y MATEMATICA 
650 |a MATEMATICAS  |x METODOS DE ENSEÑANZA  |2 CC 
949 |a P.V. b.VHRL 
916 |a Registros del LS-2000