Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic - Crossley - 書籍 - Birkhauser Boston Inc - 9780817636906 - 1994年1月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Crossley
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic 1993 edition

価格
¥ 25.241
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper.

816 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
単位数 2
リリース済み 1994年1月26日
ISBN13 9780817636906
出版社 Birkhauser Boston Inc
ページ数 816
寸法 155 × 235 × 44 mm   ·   1,33 kg
言語 英語  
編集者 Crossley, John N.
編集者 Remmel, Jeffrey B.
編集者 Shore, Richard
編集者 Sweedler, Moss E.

Crossleyの他の作品を見る

すべて表示

Crossleyのすべてを見る ( 例： CD , Book , Paperback Book および Hardcover Book )