Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic - Crossley - Livros - Birkhauser Boston Inc - 9780817636906 - 26 de janeiro de 1994
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Crossley

Preço
S$ 202,50
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 3 - 9 de jul
Adicione à sua lista de desejos do iMusic

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

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 English  
Editor Crossley, John N.
Editor Remmel, Jeffrey B.
Editor Shore, Richard
Editor Sweedler, Moss E.

Mostrar tudo

Mais por Crossley