PakCat catalogue record Logical Methods In Honor of Anil Nerode's Sixtieth Birthday By Crossley, John N. Bibliographic details ISBN0817636900 PublisherBoston Publication placeBirkhauser Publication year1993 Edition1st LanguageEnglish Material typeBook Physical description813 Additional authorsRemmel, Jeffrey B.