Cargando…
Choice sequences : a chapter of intuitionistic mathematics
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Publicado: |
Oxford
: Clarendon Press,
1977
|
| Materias: |
MARC
| LEADER | 00000nam a22000007a 4500 | ||
|---|---|---|---|
| 006 | a 000 0 | ||
| 008 | 991123s1977 000 0 d | ||
| 020 | |a 019853163 | ||
| 035 | |a (Sirsi) i019853163 | ||
| 035 | |a (Sirsi) a72027 | ||
| 040 | |a lc en web | ||
| 050 | 4 | |a QA9.47 |b T76 | |
| 082 | 4 | |a 511 | |
| 100 | |a Troelstra, Anne Sjerp | ||
| 245 | 0 | |a Choice sequences |b : a chapter of intuitionistic mathematics | |
| 260 | |a Oxford |b : Clarendon Press, |c 1977 | ||
| 300 | |a 170 p | ||
| 500 | |a Bibliografía: p. [161]-167 | ||
| 650 | 7 | |a Sucesiones (Matemáticas) |9 360608 | |
| 902 | |a DBUV | ||
| 596 | |a 2 | ||
| 942 | |c LIBRO | ||
| 999 | |c 35622 |d 35622 | ||