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