Principles of intuitionism
lectures presented at the summer conference on Intuitionism and ProofTheory (1968) at SUNY at Buffalo, N.Y..
Edición de la obra Principles of intuitionism
| Autor | A. S. Troelstra |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1969 |
| Lugar | Berlin |
| Idioma | inglés |
| Serie | Lecture notes in mathematics -- 95 · Lecture notes in mathematics (Berlin) -- 95. |
| Número de Cutter | T843p |