| 000 | 00923cam a22002295i 4500 | ||
|---|---|---|---|
| 020 | _a9783642298400 | ||
| 040 | _cCUS | ||
| 082 | 0 | 4 |
_a005.131 _bPAC/M |
| 100 | 1 |
_aPace, Gordon J. _921535 |
|
| 245 | 1 | 0 |
_aMathematics of Discrete Structures for Computer Science _cby Gordon J. Pace. |
| 260 |
_aNew York : _bSpringer : _c2012 |
||
| 300 | _a293 p. : | ||
| 505 | 0 | _aWhy Mathematics? -- Propositional Logic -- Predicate Calculus -- Sets -- Relations -- Classifying Relations -- More Discrete Structures -- Defining New Structured Types -- Numbers -- Reasoning About Programs -- Index. | |
| 650 | 0 |
_aComputer science. _91388 |
|
| 650 | 0 |
_aInformation theory. _921536 |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical. _95948 |
|
| 650 | 1 | 4 |
_aComputer Science. _91388 |
| 650 | 2 | 4 |
_aMathematics of Computing. _921537 |
| 650 | 2 | 4 |
_aTheory of Computation. _921538 |
| 650 | 2 | 4 |
_aMathematical Logic and Foundations. _921539 |
| 942 | _cWB16 | ||
| 999 |
_c2407 _d2407 |
||