Logic and complexity /

Bibliographic Details

Main Author:	Lassaigne, Richard, 1944-
Other Authors:	Rougemont, Michel de, 1953-
Format:	Book
Language:	English
Published:	London ; New York : Springer, [2004]
Series:	Discrete mathematics and theoretical computer science.
Subjects:	Computational complexity. Logic, Symbolic and mathematical.