Logical Methods

Anil Nerode , Jeffrey B. Remmel , Moss E. Sweedler