Mathematical logic for computer science by M. Ben-Ari | Menrva Books | MenrvaBooks