Vista normal Vista MARC Vista ISBD

Cook, Stephen, 1948-,

Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen - 492 páginas - Perspectives in logic .

ISBN: 9780521517294 (papel alcalino)

Subjects--Topical Terms:
Complejidad computacional
Teoría de la demostración
Lógica simbólica y matemática

LC Class. No.: QA267.7 / C69

Dewey Class. No.: 511.3/6