A. Nerode

• Combinatorial Functors
• Logic and Computer Science
• Principles of Logic and Logic Programming
• Recursive Algebra, Analysis and Combinatorics
• Recursive Model Theory