Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
Autor principal: | Kino, A. (Autor, Autor/a) |
---|---|
Otros Autores: | Myhill, J. (Editor , Editor/a), Vesley, Richard Eugene 1932- (Editor , Editor/a) |
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Amsterdam :
North Holland,
1970.
|
Colección: | Studies en logic and the foundations of mathematics
|
Materias: |
Ejemplares similares
-
Principles of intuitionism : lectures presented at the summer Conference on Intuitionism and Proof theory (1968) at SUNY at Bufalo, N.Y.
por: Troelstra, Anne Sjerp 1939-
Publicado: (1964) -
Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964) -
Intuitionism : an introduction.
por: Heyting, Arend n. 1898, et al.
Publicado: (1956) -
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
por: Richter, Michael M., et al.
Publicado: (1964) -
Intuitionism; an introduction
por: Heyting, A.
Publicado: (1971)