Handbook of Logic and Proof Techniques for Computer Science
By: Krantz, Steven G.
Material type:
BookSeries: Lectures in mathematics ETH Zurich.Publisher: Basel: Birkhauser Verlag, 2002Description: xi, 112 p.; ill., index: 24 cm.ISBN: 9780817642204.Subject(s): Algorithms | Boolean Algebra | Category Theory | Proof Theory | Set Theory | Axiomatics and Formalism | Semantics and Syntax | Combinatorial enumeration problems | Computational complexityDDC classification: 004
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004 KRA (Browse shelf) | Available | 009578 |
There are no comments for this item.