<電子ブック>
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 |