Computer science logic by Egon Börger | Menrva Books | MenrvaBooks