Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic - Crossley - Libros - Birkhauser Boston Inc - 9780817636906 - 26 de enero de 1994
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
€ 141,99

Pedido desde almacén remoto

Entrega prevista 8 - 16 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de 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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Número de unidades 2
Publicado 26 de enero de 1994
ISBN13 9780817636906
Editores Birkhauser Boston Inc
Páginas 816
Dimensiones 155 × 235 × 44 mm   ·   1,33 kg
Lengua Inglés  
Editor Crossley, John N.
Editor Remmel, Jeffrey B.
Editor Shore, Richard
Editor Sweedler, Moss E.

Mas por Crossley

Mostrar todo

Ver todo de Crossley ( Ej. CD , Hardcover Book , Book y Paperback Book )