Deducibility and Decidability - R. R. Rockingham Gill (Routledge, 1990)
Keywords: General; Decidability (Mathematical logic),Logic, Symbolic and mathematical; PHILOSOPHY