Logic And Computer Science door Anil Nerode, Steven Homer & Richard A. Platek