Solvable cases of the decision problem.
Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam ; North-Holland, 1954.Description: 114 pSubject(s): DDC classification:- 511.35 A182s
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.35 A182s 1954 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000099799 |
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.332 C435d 2011 IMPA Directoids: an algebraic approach to ordered sets/ | 511.34 A468s 2008 IMPA Simple groups of finite Morley rank/ | 511.342 S546k 2017 IMPA Kolmogorov complexity and algorithmic randomness/ | 511.35 A182s 1954 IMPA Solvable cases of the decision problem. | 511.35 B694t 1984 IMPA Turing's man: western culture in the computer age/ | 511.35 C331m 1981 IMPA Máquinas, programas e algoritmos/ | 511.35 C669c 1968 IMPA Cellular automata/ |
Includes bibliography.
There are no comments on this title.