Fonctions récursives / par Andrzej Grzegorczyk.
Idioma: Francés Lenguaje original: xxx Series Collection de logique mathématique, sér. A ; 17Editor: Paris : Gauthier-Villars, 1961Descripción: 100 p. ; 24 cmOtra clasificación: 03-XXItem 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 G895 (Browse shelf) | Available | A-1823 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 G655r Recursive analysis / | 03 G687 A treatise on many-valued logics / | 03 G755 Advanced logic for applications / | 03 G895 Fonctions récursives / | 03 H157 An introduction to modern logic : | 03 H185 Mathematical proof : | 03 H194 Algebraic logic. |
Traducción de: Zagadnienia rozstrygalno'sci (1957).
MR, 26 #14
There are no comments on this title.