000 00727nam a2200229Ia 4500
003 OSt
005 20251205114525.0
008 210716s2015 xx 000 0 und d
020 _a9788132231677
040 _cAIMIT LIBRARY
041 _aeng
082 _a006.34
_21
_bMAKD
100 _aMakinson, David.
_9247802
245 _aSets logic and maths for computing /
_cBy David Makinson.
250 _a2nd ed.
260 _aNew Delhi :
_bSpringer ,
_c2015.
300 _axxi,283p. ;
_bPB
_c23.1 cm
650 _aRecycling outputs as inputs : induction and recursion
_9247803
650 _aCounting things : combinatorics
_9247804
650 _aWeighing the odds : probability
_9247805
942 _2ddc
_cBK
_e2nd
_k006.34 MAKD
999 _c194478
_d194478