Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.
Series Oxford logic guidesEditor: Oxford : Clarendon Press, 1977Descripción: ix, 170 p. ; 25 cmISBN: 019853163XTema(s): Intuitionistic mathematics | Sequences (Mathematics)Otra clasificación: 03F55 (03B20)Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 T843 (Browse shelf) | Available | A-5206 |
Bibliografía: p. [161]-167.
MR, 57 #15979
There are no comments on this title.