Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Recursion theory: computational aspects of definability/ Chi Tat Chong, Liang Yu.
Series: De Gruyter series in logic and its applications ; 8.Publisher: Berlin; Boston: Walter de Gruyter, [2015]Description: xiii, 306 pages; 25 cmISBN:- 9783110275551
- 3110275554
- 9783110275650
- 3110275651
- 511.3 C548r
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 C548r 2015 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000690365 |
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 | ||
| 511.3 C534c 1990 IMPA Constructibility and mathematical existence/ | 511.3 C542c 2009 IMPA A course in formal languages, automata and groups/ | 511.3 C542m 2007 IMPA Mathematical logic/ | 511.3 C548r 2015 IMPA Recursion theory: computational aspects of definability/ | 511.3 C559t 1991 IMPA Truth, possibility, and probability: new logical foundations of probability and statistical inference/ | 511.3 C561c 1941 IMPA The calculi of lambda-conversion/ | 511.3 C561i 1956 IMPA Introduction to mathematical logic. Vol. I/ |
Includes bibliographical reference (pages 295-301) and index.
There are no comments on this title.