Mathematics and Logics in Computer Science - Boaz Tsaban - E-bok | Bokus