Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity - Cyrus F. Nourani - 書籍 - Apple Academic Press Inc. - 9781774635759 - 2021年3月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Cyrus F. Nourani
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity 第1 版

価格
¥ 17.323
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月14日 - 2026年1月27日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

他の形態でも入手可能：

This book presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important comput

310 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2021年3月31日
ISBN13 9781774635759
出版社 Apple Academic Press Inc.
ページ数 310
寸法 150 × 220 × 10 mm   ·   453 g
言語 英語  

Cyrus F. Nouraniの他の作品を見る

すべて表示

Cyrus F. Nouraniのすべてを見る ( 例： Hardcover Book および Paperback Book )