Unprovability of lower bounds on the circuit size in certain fragments of bounded arithmetic (1995)

by A Razborov
Venue:Izvestiya of the Russian Academy of Science, Mathematics