<電子ブック>
Algebraic computability and enumeration models : recursion theory and descriptive complexity

責任表示
著者
本文言語
出版者
出版年
出版地
目次 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.
アクセス注記 Taylor & Francis eBooks DRM Free Collection トライアル中(2023/3/31まで利用可能) 【Trial】This title is available until March 31, 2023.
本文を見る Taylor & Francis eBooks DRM Free Collection: 2016

詳細

レコードID
データベース タイトル
主題
管理番号
eISBN
XISBN
注記
登録日 2023.01.20
更新日 2023.01.20