Gill R.R.Rockingham

• Deducibility and Decidability. .