Logic and complexity
By: Lassaigne, Richard.
Contributor(s): Rougemont, Michel de.
Material type:
BookSeries: Discrete mathematics and theoretical computer science.Publisher: London: Springer, 2004Description: x, 359 p.; ill., index: 24 cm.ISBN: 1852335653 .Subject(s): Logic, Symbolic and mathematical | Computational complexityDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 LAS (Browse shelf) | Available | 014851 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 KLU Abstract computing machines : a lambda calculus perspective | 511.3 KOZ Automata and computability | 511.3 LAK Proofs and refutations: The logic of mathematical discovery | 511.3 LAS Logic and complexity | 511.3 LAW Finite automata | 511.3 LAW Conceptual mathematics : a first introduction to categories | 511.3 LIB Elements of finite model theory |
There are no comments for this item.