Intuitionism : an introduction /
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | Heyting, A. (Arend), 1898-1980 |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam :
North-Holland,
1956.
|
Colección: | Studies in logic and the foundations of mathematics ;
v. 17. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
Ejemplares similares
-
Intuitionism : an introduction /
Publicado: (1966) -
The foundations of intuitionistic mathematics /
Publicado: (1965) -
Intentional mathematics /
Publicado: (1985) -
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987) -
Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Publicado: (1970)