TY  - BOOK
AU  - Dowsing, R.D 
TI  -  A Frist Course in Formal Logic and Its Applications in Computer Science
SN  - 0632013087
U1  - 005.131 
PY  - 1986///
CY  - London
PB  - Blackwell Scientific Publication
ER  -