Logic and complexity /
Lassaigne, Richard,1944-
Rougemont, Michel de,1953-
London : Springer,
c2004.
Includes bibliographical references and index.
Computational complexity.
Logic, Symbolic and mathematical.