TY - BOOK AU - BEN MORDECHAI TI - MATHEMATICAL LOGIC FOR COMPUTER SCIENCE SN - 9788181283443 U1 - 511.3 BEN PB - SPRINGER KW - MATHEMATICS ER -