The University of Warwick Library - WebBridge

Unprovability of circuit upper bounds in Cook's theory PV
Krajicek, Jan.  Logical Methods in Computer Science.  v. 13. no. 1.   2017-02-02. .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.