Recursion theory computational aspects of definability / Chi Tat Chong, Liang Yu.

Author/creator Chong, C.-T., 1949-
Other author Yu, Liang (Professor of mathematics)
Format Electronic
Publication InfoBerlin ; Boston : Walter de Gruyter GmbH & Co., KG, [2015]
Descriptionxiii, 306 pages ; 25 cm.
Supplemental ContentFull text available from Ebook Central - Academic Complete
Subjects

SeriesDe Gruyter series in logic and its applications ; 8
Bibliography noteIncludes bibliographical reference (pages 295-301) and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2015008883
ISBN9783110275551

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available