Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday (Progress in Computer Science and Applied Logic)

Crossley, John N. (EDT)/ Remmel, Jeffrey B. (EDT)/ Shore, Richard (EDT)

Springer-Verlag New York Inc.（2013/02発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Paperback:紙装版/ペーパーバック版／ページ数 816 p.
言語 ENG
商品コード 9781461267089
DDC分類 004.0151

Full Description

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.