Conte aos seus amigos sobre este item:
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic Crossley 1993 edition
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic
Crossley
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Número de unidades | 2 |
| Lançado | 26 de janeiro de 1994 |
| ISBN13 | 9780817636906 |
| Editoras | Birkhauser Boston Inc |
| Páginas | 816 |
| Dimensões | 155 × 235 × 44 mm · 1,33 kg |
| Idioma | Inglês |
| Editor | Crossley, John N. |
| Editor | Remmel, Jeffrey B. |
| Editor | Shore, Richard |
| Editor | Sweedler, Moss E. |
Mais por Crossley
Mostrar tudoVer tudo de Crossley ( por exemplo CD , Hardcover Book , Book e Paperback Book )
Presentes de Natal podem ser trocados até 31 de janeiro