Fonctions récursives/ Andrzej Grzegorczyk.
Language: French Original language: Polish Series: Collection de logique mathématique, sér. A ; 17Publication details: Paris: Gauthier-Villars, 1961.Description: 100 p.: 25 cmSubject(s): DDC classification:- 511.352 G895f
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.352 G895f 1961 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000569767 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
|
|
No cover image available No cover image available | No cover image available No cover image available |
|
No cover image available No cover image available |
|
||
| 511.352 G169i 1975 IMPA Intensional and higher-order modal logic: with applications to Montague semantics/ | 511.352 G517p 1987 IMPA Proof theory and logical complexity.. T.1/ | 511.352 G655r 1957 IMPA Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus. | 511.352 G895f 1961 IMPA Fonctions récursives/ | 511.352 I93a 1986 IMPA Algebraic recursion theory/ | 511.352 K83c 1975 IMPA Computational mathematics: worked examples and problems with elements of theory/ | 511.352 M682c 2009 IMPA Complexity: a guided tour/ |
Translation of Zagadnienia rozstrygalnosci.
There are no comments on this title.