Handbook of Logic and Proof Techniques for Computer Science
- Basel: Birkhauser Verlag, 2002
- xi, 112 p.; ill., index: 24 cm.
- Lectures in mathematics ETH Zurich .
9780817642204 pbk
Algorithms Boolean Algebra Category Theory Proof Theory Set Theory Axiomatics and Formalism Semantics and Syntax Combinatorial enumeration problems Computational complexity