Computable structure theory : (Record no. 3155)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01517nam a22002417a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | NUCLARK |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250108091116.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240227b ph ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781108423298 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | NUCLARK |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA 9.59 .M66 2021 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Montalbán, Antonio |
| Relator term | author |
| 245 ## - TITLE STATEMENT | |
| Title | Computable structure theory : |
| Remainder of title | within the arithmetic / |
| Statement of responsibility, etc. | Antonio Montalbán |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | United Kingdom : |
| Name of publisher, distributor, etc. | Cambridge University Press, |
| Date of publication, distribution, etc. | c2021 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xxii, 190 pages ; |
| Dimensions | 24 cm. |
| 490 ## - SERIES STATEMENT | |
| Series statement | Perspective in Logic |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references and index. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Preface -- Notation and conventions -- Chapter 1. Structures -- Chapter 2. Relations -- Chapter 3. Existentially-atomic models -- Chapter 4. Generic presentations -- Chapter 5. Degree spectra -- Chapter 6. Comparing structures and classes of structures -- Chapter 7. Finite-injury constructions -- Chapter 8. Computable categoricity -- Chapter 9. The jump of a structure -- Chapter 10. ∑-small classes -- Bibliography -- Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | "The objective of this book is to describe some of the main ideas and techniques used in the field. Most of these ideas are old, but for many of them, the style of the presentation is not. Over the last few years, the authors has developed new frameworks for dealing with these old ideas-for instance, r.i.c.e. relations, jump, Scott ranks, and back-and-forth types. " -- Preface |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTABLE FUNCTIONS |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Books |
| Suppress in OPAC | No |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | NU Clark | NU Clark | Circulation | 12/19/2023 | Purchased - Amazon | GC QA 9.59 .M66 2021 | NUCLA000003230 | 02/27/2024 | 02/27/2024 | Books |
