| 000 | 00987nam a2200241Ia 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20230331172635.0 | ||
| 008 | 220128s9999 xx 000 0 und d | ||
| 020 | _a9780763772062 | ||
| 040 | _cCUS | ||
| 082 |
_a004.0151 _bHEI/D |
||
| 100 |
_aHein, James.J _98784 |
||
| 245 | 0 | _aDiscrete Structures Logic, and Computability | |
| 250 | _a4th,ed. | ||
| 260 |
_aNew Delhi: _c2017. _b Jones and Barlett, |
||
| 300 | _a1039p. | ||
| 505 | _a Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions. | ||
| 650 |
_aComputer science -- Mathematics. _96166 |
||
| 650 |
_aLogic programming. _98785 |
||
| 650 |
_a Data structures (Computer science). _9606 |
||
| 942 |
_2ddc _cWB16 |
||
| 947 | _a7688 | ||
| 999 |
_c211485 _d211485 |
||