Deducibility and decidability /
Gill, R. R. Rockingham,1944-
London : Routledge,
1990.
Logic, Symbolic and mathematical.