01536nam a2200397Ia 4500001001000000003000700010005001700017006001900034007001500053008004100068020003600109020002700145035002200172035002300194035002500217035002300242035002100265040004100286050002400327082001600351100003400367245012400401260006400525300001500589504005100604590014700655650003700802650002600839650004600865655002900911700003500940710002800975797002001003856009601023999001901119EBC501328MiAaPQ20250821110628.0m     o  d |      cr cnu||||||||091230s2010    enk     ob    001 0 eng d  a9780511681653q(electronic bk.)  z9780521517294q(print)  a(MiAaPQ)EBC501328  a(Au-PeEL)EBL501328  a(CaPaEBR)ebr10382910  a(CaONFJC)MIL253611  a(OCoLC)654029369  aMiAaPQbengerdaepncMiAaPQdMiAaPQ 4aQA267.7b.C695 20100 a511.3/62221 aCook, Stephen,d1948-925163110aPerspectives in logich[electronic resource] :blogical foundations of proof complexity /cStephen Cook, Phuong Nguyen.  aCambridge ;aNew York :bCambridge University Press,c2010.  axv, 479 p.  aIncludes bibliographical references and index.  aElectronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 0aComputational complexity.936729 0aProof theory.9251632 0aLogic, Symbolic and mathematical.9251633 4aElectronic books.9351421 aNguyen, Phuong,d1977-92516342 aProQuest (Firm)92516352 aProQuest (Firm)40uhttps://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=501328zClick to View  c257725d257725