%0 Journal Article
%A A. A. Razborov
%T Unprovability of lower bounds on circuit size in certain fragments of bounded arithmetic
%J Izvestiya. Mathematics 
%D 1995
%P 205-227
%V 59
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1995_59_1_a8/
%G en
%F IM2_1995_59_1_a8