Choice sequences
a chapter of intuitionistic mathematics
Edición de la obra Choice sequences
| Autor | A. S. Troelstra |
|---|---|
| Editorial | Clarendon Press |
| Fecha de publicación | 1977 |
| Lugar | Oxford [Eng.] |
| Idioma | inglés |
| Páginas | 170 |
| ISBN-10 | 019853163X |
| OCLC | 3085044 |
| LCCN | 77366152 |
| Serie | Oxford logic guides |
| Número de Cutter | T843c |