Screen LibraryRecursion theory : a generalized point of view /
Saved in:
| Main Authors: | |
|---|---|
| Group Author: | |
| Published: |
Walter de Gruyter GmbH & Co., KG,
|
| Publisher Address: | Berlin ; Boston : |
| Publication Dates: | [2015] |
| Literature type: | Book |
| Language: | English |
| Series: |
De Gruyter series in logic and its applications,
8 |
| Subjects: | |
| Item Description: | Computational aspects of definability. |
| Carrier Form: | xiii, 306 pages ; 25 cm. |
| Bibliography: | Includes bibliographical reference (pages 295-301) and index. |
| ISBN: |
9783110275551 (hardback) : 3110275554 (hardback) |
| Index Number: | QA9 |
| CLC: | O141.3 |
| Call Number: | O141.3/C545 |