Deducibility and Decidability door R.R. Rockingham Gill