OPAC Home  
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

Copyright @ 2015-2021 Library, University of Moratuwa, Katubedda, Moratuwa (10400), Sri Lanka