Title: Logical methods
Subjects: Logic programming, Symbolic and mathematical Logic, Logic, symbolic and mathematical
People: Anil Nerode (1932-)