Logic and complexity /
Richard Lassaigne and Michel de Rougemont.
- x, 359 p. : ill. ; 25 cm.
- Discrete mathematics and theoretical computer science, 1439-9911 .
1852335653 (acid-free paper)
2003061880
Computational complexity Logic, Symbolic and mathematical