Computation theory and logic by E. Börger | Menrva Books | MenrvaBooks