| Description |
xix, 585 pages : illustrations ; 24 cm |
| Contents |
1. The natural numbers -- 2. Introductory logic -- 3. Sets, relations, and functions -- 4. Algebraic topics -- 5. Combinatorics -- 6. Partially ordered structures -- 7. Further logic -- 8. Graphs -- 9. Formal machines -- 10. Analysis of algorithms and complexity theory -- 11. Coding theory |
| Notes |
Previous ed.: 1991 |
| Bibliography |
Includes bibliographical references and index |
| Subject |
Computer science -- Mathematics.
|
| LC no. |
99158766 |
| ISBN |
0201360616 (paperback) |
|
