000			01062nam a22001937a 4500
008			220504b |||||||| |||| 00| 0 eng d
020			_a9783030422172
040			_aZET-ke _cZET-ke
050			_aQA76.9.M35 _b.M35 2020
100			_aMakinson, David
245			_aSets, logic and maths for computing / _cDavid, Makinson.
250			_a3rd ed.
260			_aGewerbestrasse: _bSpringer, _cc2020.
300			_axviii,398p.: _bsome col.; _c23 cm
440			_aUndergraduate topics in computer science
500			_aIncludes bibliographies and indexes.
505			_aCollecting things together: sets -- Comparing things: rlations -- Associating one item with another:functions -- Recycling outputs as inputs: induction and recursion -- Counting things:combinatorics -- Weighing the odds:probability -- Squirrel mathe:trees -- Yea and nay: propositional logic -- Something about everything:qualificational logic -- Just supposing:proof and consequence -- Sticking to the point: relevance in lgic.
942			_2lcc _cBK _hQA76.9.M35 _kQA76.9.M35 _m.M35 2020
999			_c5282 _d5282