Daniel Leivant Unprovability of Theorems of Complexity Theory in Weak Number Theories. 259-268 1982 18 Theor. Comput. Sci. db/journals/tcs/tcs18.html#Leivant82