Computer science logic by Matthias Baaz | Menrva Books | MenrvaBooks