Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday
John Newsome Crossley, John C. Cherniavsky, Richard A. Shore, Jeffrey B. Remmel, Richard A. Platek, Robert L. Constable, Moss Eisenberg Sweedler, Jean H. Gallier, Richard Statman · 1994
Anil Nerode has had a wide influence on logic and computer science since the 1960's. This volume reflects his inspiration and also the variety of interests which he has. The papers in this book are principally concerned with mathematical logic and some of its applications in computing. The book contains papers on recursion theory, intuitionism, computability in group theory, recursive model theory, reverse mathematics, and the extraction of programs from proofs