Deducibility and Decidability by R.R. Rockingham Gill