00345nam a2200145Ia 4500008004100000020001800041041000800059082001700067100001600084245004000100260001900140300000800159365001600167700001600183230718s9999 xx 000 0 und d a9788184897524 aeng a511.322bMAK aMakinson D. aSets, Logic And Maths For Computing c2011bSpringer a302 cRs.b645.00 aMakinson D.