%0 Journal Article
%A Jan Krajíček
%T Diagonalization in proof complexity
%J Fundamenta Mathematicae
%D 2004
%P 181-192
%V 182
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm182-2-7/
%R 10.4064/fm182-2-7
%G en
%F 10_4064_fm182_2_7