01536nam a2200397Ia 4500 EBC501328 MiAaPQ 20250821110628.0 m o d | cr cnu|||||||| 091230s2010 enk ob 001 0 eng d 9780511681653 (electronic bk.) 9780521517294 (print) (MiAaPQ)EBC501328 (Au-PeEL)EBL501328 (CaPaEBR)ebr10382910 (CaONFJC)MIL253611 (OCoLC)654029369 MiAaPQ eng rda pn MiAaPQ MiAaPQ QA267.7 .C695 2010 511.3/6 22 Cook, Stephen, 1948- 251631 Perspectives in logic [electronic resource] : logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. Cambridge ; New York : Cambridge University Press, 2010. xv, 479 p. Includes bibliographical references and index. Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Computational complexity. 36729 Proof theory. 251632 Logic, Symbolic and mathematical. 251633 Electronic books. 35142 Nguyen, Phuong, 1977- 251634 ProQuest (Firm) 251635 ProQuest (Firm) https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=501328 Click to View 257725 257725