Logical foundations of proof complexity

Stephen Cook, Phuong Nguyen
Bok · Engelsk · 2010

Utgitt	Cambridge : Cambridge University Press , 2010
Omfang	XV, 479 s.
Emner	Computational complexity Logic, Symbolic and mathematical Proof theory Bevisteori Vis mer... Kompleksitetsteori Matematisk logikk
Dewey	511.3
ISBN	9780521517294