Deducibility and Decidability - R. R. Rockingham Gill (Taylor and Francis, 1990)