Notes on intuitionistic second order arithmetic
Edición de la obra Notes on intuitionistic second order arithmetic
| Autor | A. S. Troelstra |
|---|---|
| Editorial | Mathematisch Instituut, Universiteit van Amsterdam |
| Fecha de publicación | 1971 |
| Lugar | Amsterdam |
| Idioma | inglés |
| Páginas | 40 |
| Serie | Report / Mathematisch Instituut -- 71-05 · Report (Universiteit van Amsterdam. Mathematisch Instituut) -- 71-05. |
| Número de Cutter | T843n |