TY  - BOOK
AU  - Gill R R Rockingham
TI  - Deducibility and decidability
U1  - R12, N0 
PY  - 1990///
CY  - London
PB  - Routledge       
ER  -