Notes on constructive mathematics / by Per Martin-Löf.
Editor: Stockholm : Almqvist & Wiksell, impresión de 1970Descripción: 109 p. ; 24 cmTema(s): Constructive mathematicsOtra clasificación: 03FxxItem 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 M379 (Browse shelf) | Available | A-5204 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 M262 Algorithms and recursive functions / | 03 M278 A course in mathematical logic / | 03 M346 Theory of algorithms / | 03 M379 Notes on constructive mathematics / | 03 M379t Toward a systematic pragmatics / | 03 M379t Toward a systematic pragmatics / | 03 M416 Understanding symbolic logic / |
Bibliografía: p. [104]-106.
MR, 58 #5098
There are no comments on this title.