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 |
---|---|---|---|---|---|---|---|
![]() |
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 C548r 2015 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000690365 |
Includes bibliographical reference (pages 295-301) and index.
There are no comments on this title.