00454nam a2200157Ia 4500008004100000020001800041082001700059100002000076245004000096250000800136260003200144300003000176500001900206600002100225650005000246240925s9999    xx            000 0 und d  a9783030422172  a004.0151 MAK  aMakinson, David 0aSets,logics and maths for computing  a3rd  aNew York:bSpringerc,2020.  axxx, 722p.bN.AfOriginal  aIncludes Index  aComputer Science  aComputer science, information & general works