Mathematical logic by Alan M. Turing | Menrva Books | MenrvaBooks