Deducibility and Decidability | 9780415754965 | Memmo