rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Recursion Theory
    sub title: Lecture Notes in Logic 1
  name:
    name part: Shoenfield, Joseph R.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Taylor & Francis
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: xx
    date issued: 2018
    edition: 1st
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (96 pages)
  abstract: This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which modern computer science rests. The clarity and focus of this text have established it as a classic instrument for teaching and self-study that prepares its readers for the study of advanced monographs and the current literature on recursion theory.
  table of contents: Chapter 1 Computability / Joseph R. Shoenfield -- chapter 2 Functions and Relations / Joseph R. Shoenfield -- chapter 3 The Basic Machine / Joseph R. Shoenfield -- chapter 4 Macros / Joseph R. Shoenfield -- chapter 5 Closure Properties / Joseph R. Shoenfield -- chapter 6 Definitions of Recursive Functions / Joseph R. Shoenfield -- chapter 7 Codes / Joseph R. Shoenfield -- chapter 8 Indices / Joseph R. Shoenfield -- chapter 9 Church's Thesis / Joseph R. Shoenfield -- chapter 10 Word Problems / Joseph R. Shoenfield -- chapter 11 Undecidable Theories / Joseph R. Shoenfield -- chapter 12 Relative Recursion / Joseph R. Shoenfield -- chapter 13 The Arithmetical Hierarchy / Joseph R. Shoenfield -- chapter 14 Recursively Enumerable Relations / Joseph R. Shoenfield -- chapter 15 Degrees / Joseph R. Shoenfield -- chapter 16 Evaluation of Degrees / Joseph R. Shoenfield -- chapter 17 Large RE Sets / Joseph R. Shoenfield -- chapter 18 Function of Reals / Joseph R. Shoenfield -- chapter 19 The Analytical Hierarchy / Joseph R. Shoenfield -- chapter 20 The Projective Hierarchy / Joseph R. Shoenfield.
  target audience: general
  note: Joseph R. Shoenfield.
  note: Includes bibliographical references and index.
  subject:
    topic: Recursion theory
  subject:
    topic: Théorie de la récursivité
  subject:
    topic: MATHEMATICS
    genre: General
  subject:
    topic: Recursion theory
  classification: QA9
  classification: 511.3/5
  identifier: 9781351419413
  identifier: 1351419412
  identifier: 9781351419420
  identifier: 1351419420
  identifier: 9781351419413 Ingram Content Group
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: NLE
    record creation date: 180430
    record change date: 20250728184616.9
    record identifier: in00005652738
    language of cataloging:
      language term: eng