000 00458nam a22001697a 4500
003 OSt
005 20180912235057.0
008 090503t xxu||||| |||| 00| 0 eng d
040 _auniversity
_bEnglish
_cUniversity
100 _aDavid Makinson
_94474
245 _aSets, logic and maths for computing
260 _bSpringer-Verlag
_c2008
300 _a301
518 _aSAR/84/09/10-08-09
650 _aComputer science --Mathematics
_92699
942 _2ddc
_cBK
999 _c7646
_d7646