Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic - - Books - Springer-Verlag New York Inc. - 9781461267089 - February 14, 2013
In case cover and title do not match, the title is correct

Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 1993 edition

Price
HK$ 1,219
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

844 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 14, 2013
ISBN13 9781461267089
Publishers Springer-Verlag New York Inc.
Pages 816
Dimensions 150 × 220 × 10 mm   ·   1.29 kg
Language English  
Editor Crossley, John N.
Editor Remmel, Jeffrey B.
Editor Shore, Richard
Editor Sweedler, Moss E.

Mere med samme udgiver