TY  - GEN
AU  - Dowsing, R.D.
AU  - Rayward-Smith, V.J.
AU  - Walter, C.D.
TI  - A First course in formal logic and its applications in computer science
SN  - 0632013087
PY  - 1986///
CY  - Oxford
PB  - Blackwell Scientific
ER  -