Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus.
Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam ; North-Holland, 1957.Description: xii, 190 p.: 22 cmSubject(s): DDC classification:- 511.352 G655r
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.352 G655r 1957 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000100084 |
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 F979 2015 IMPA Functions and generality of logic: reflections on Dedekind's and Frege's logicisms/ | 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/ |
Bibliography: p. 188.
There are no comments on this title.