Dowsing, Roy.
A first course in formal logic and its applications in computer science / R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter. - Oxford : Blackwell Scientific, c1986 - vi, 265 p. - Computer science texts .
Electonic digital computers--Programming.
Programming (Mathematics)
Logic, Symbolic and mathematical.
A first course in formal logic and its applications in computer science / R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter. - Oxford : Blackwell Scientific, c1986 - vi, 265 p. - Computer science texts .
Electonic digital computers--Programming.
Programming (Mathematics)
Logic, Symbolic and mathematical.