Dowsing, R.D. Rayward-Smith, V.J. Walter, C.D.
A First course in formal logic and its applications in computer science - Oxford Blackwell Scientific 1986 - vi, 265p. : ill. - Computer Science texts .
0632013087
004.312 / D6
A First course in formal logic and its applications in computer science - Oxford Blackwell Scientific 1986 - vi, 265p. : ill. - Computer Science texts .
0632013087
004.312 / D6