opac banner
Amazon cover image
Image from Amazon.com
Image from Google Jackets

Algebraic computability and enumeration models :

By: Material type: TextTextPublication details: Canada CRC Press 2016Description: xiv, 295 pages ; IllusISBN:
  • 9781771882477 (hardcover : alk. paper)
Subject(s): DDC classification:
  • 004.0151
Contents:
Introduction -- Computing categories, language fragments, and models -- Functorial admissible models -- Initial tree computing and languages -- Descriptive sets and infinitary languages -- Complexity and computing -- Arithmetic hierarchy and enumeration degrees -- Peano arithmetic models and computability -- Realizability and computability.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

Includes index.

Introduction -- Computing categories, language fragments, and models -- Functorial admissible models -- Initial tree computing and languages -- Descriptive sets and infinitary languages -- Complexity and computing -- Arithmetic hierarchy and enumeration degrees -- Peano arithmetic models and computability -- Realizability and computability.

There are no comments on this title.

to post a comment.