Media type: E-Article Title: The provably total NP search problems of weak second order bounded arithmetic Contributor: Kołodziejczyk, Leszek Aleksander; Nguyen, Phuong; Thapen, Neil imprint: Elsevier BV, 2011 Published in: Annals of Pure and Applied Logic Language: English DOI: 10.1016/j.apal.2010.12.002 ISSN: 0168-0072 Keywords: Logic Origination: Footnote: Access State: Open Access