TY - BOOK AU - Lassaigne,Richard AU - Rougemont,Michel de TI - Logic and complexity T2 - Discrete mathematics and theoretical computer science SN - 1852335653 (papeL libre de acido) AV - QA267.7 L37 PY - 2004///] CY - London PB - Springer Verlag KW - Complejidad computacional KW - Lógica simbólica y matemática ER -