Principles of intuitionism : lectures presented at the summer Conference on Intuitionism and Proof theory (1968) at SUNY at Bufalo, N.Y.
Autor principal: | Troelstra, Anne Sjerp 1939- (Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlín :
Springer,
1964-.
|
Materias: |
Ejemplares similares
-
Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
por: Kino, A., et al.
Publicado: (1970) -
Intuitionism : an introduction.
por: Heyting, Arend n. 1898, et al.
Publicado: (1956) -
Ethical intuitionism /
por: Hudson, W. D.
Publicado: (1967) -
Metamathematical investigation of intuitionistic arithmetic and analysis
por: Troelstra, Anne Sjerp 1939-
Publicado: (1964) -
Intuitionism; an introduction
por: Heyting, A.
Publicado: (1971)