00378nam a22001217a 4500020002400000082001800024100002000042245004100062260002600103300003100129500002000160650007600180  a9788184897524 (pbk)  a004.0151bMAK  aMakinson, David  aSets, logic, and maths for computing  aDelhibSpringerc2011  a302 p.b: ill.c; 22.5 cm.  aIncludes index.  aComputer Science aLogicvBoolean OperationsvSquirrel MathvSetsvFBSH