Logical foundations of computer science by Anil Nerode | Menrva Books | MenrvaBooks