Logical Foundations of Proof Complexity Dublin Core Títol Logical Foundations of Proof Complexity Autor Cook/Nguyen Matèria Computer Science Mathematics Mathematics and Statistics Editor Cambridge University Press Data de publicació 2010 Identificador 9780511676277 Font https://doi.org/10.1017/CBO9780511676277 Etiquetes Computer Science, Mathematics, Mathematics and Statistics Col·lecció Mathematics and Statistics ← ítem anterior Ítem següent →
