Deducibility and decidability - Gill, R. R. Rockingham, (Routledge,)