Title: Logical Methods, In Honour of Anil Nerode's Sixtieth Birthday