Computational logic by Ulrich Berger | Menrva Books | MenrvaBooks