Mathematical Logic and Computation | 9781108478755 | Memmo