Logical Methods in Mathematics and Computer Science: A Symposium in Honor of Anil Nerode on the Occasion of His Sixtieth Birthday, Workshop on Feasible Mathematics (informationswissenschaftl. Veröffentlichungen)