TY  - BOOK
AU  - Dowsing,Roy
AU  - 
AU  - Walter,C.D.
TI  - A first course in formal logic and its applications in computer science
PY  - 1986///
CY  - Oxford
PB  - Blackwell Scientific
KW  - Electonic digital computers
KW  - Programming
KW  - Programming (Mathematics)
KW  - Logic, Symbolic and mathematical
ER  -