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