Algebraic computability and enumeration models :
Published by : CRC Press (Canada) Physical details: xiv, 295 pages ; Illus. ISBN:9781771882477 (hardcover : alk. paper).
Subject(s):
Functor theory.
|
Model theory.
|
Computable functions.
|
Algebra, Homological.
|
Kleene algebra.
Year: 2016
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
ASCOT Library - Zabali Campus Reference | Reference | 004.0151 (Browse shelf) | Available | 4236 |
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.