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 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 T463 Symbolic logic : | 03 T536 Logique de la programmation : | 03 T722 Les applications techniques de la logique / | 03 T843 Choice sequences : | 03 Un55 The undecidable : | 03 V393 Lógica y matemáticas / | 03 W246 Les systèmes axiomatiques de la théorie des ensembles / |
Bibliografía: p. [161]-167.
MR, 57 #15979
There are no comments on this title.