Computer Science Logic by Jörg Flum | Menrva Books | MenrvaBooks