TY  - GEN
AU  - Lassaigne, Richard,
AU  - Rougemont, Michel de,
TI  - Logic and complexity
T2  - Discrete mathematics and theoretical computer science,
SN  - 1852335653 (acid-free paper)
AV  - QA267.7 .L37 2004
PY  - 2004///
CY  - London, New York
PB  - Springer
KW  - Computational complexity
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. 343-348) and index
ER  -