Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen.
Series: Grundlehren der mathematischen Wissenschaften ; Bd. 109.Publication details: Berlin: Springer, 1961.Description: 246 p.: illus.; 24 cmSubject(s): DDC classification:- 511.3 H553a
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 H553a 1961 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097678 | |
|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 H553a 1961 IMPA (Browse shelf(Opens below)) | 2 | Available | 39063000097686 |
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 | No cover image available No cover image available |
|
No cover image available No cover image available |
|
||
| 511.3 H473p 1952 IMPA Philosophic problems of nuclear science: Eight lectures by Werner Heisenberg/ | 511.3 H513c 1971 IMPA Cylindric algebras/ | 511.3 H553a 1961 IMPA Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen. | 511.3 H553a 1961 IMPA Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen. | 511.3 H553i 1973 IMPA Introduction to mathematical logic/ | 511.3 H621i 1956 IMPA Intuitionism; an introduction. | 511.3 H641 2018 IMPA Hilary Putnam on logic and mathematics/ |
Includes bibliography.
There are no comments on this title.