Normal view
MARC view
Electronic data processing Mathematics(Topical Term)
Machine generated authority record
Work cat.: (NU)17564: Lu, Zhongwan. 17546, Mathematical logic for computer science /, c1998.