ZHONGWAN,LU MATHEMATICAL LOGIC FOR COMPUTER SCIENCE - SINGAPORE WS 1989 - 248 SC-014 ISBN: KBCS 47 Dewey Class. No.: 726