TY  - BOOK
AU  - Nourani,Cyrus F.
TI  - Algebraic computability and enumeration models
SN  - 9781771882477 (hardcover : alk. paper)
U1  - 004.0151 
PY  - 2016///
CY  - Canada
PB  - CRC Press
KW  - Functor theory
KW  - Model theory
KW  - Computable functions
KW  - Algebra, Homological
KW  - Kleene algebra
N1  - 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
ER  -