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:
Descripción
Descripción Física:132 páginas : ilustraciones ; 22 cm.--
Bibliografía:Bibliografia: p. [123]-129.