%0 Journal Article
%A V. A. Yankov
%T Dialog theory of proofs for arithmetics, analysis and set theory
%J Izvestiya. Mathematics 
%D 1995
%P 571-600
%V 44
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1995_44_3_a6/
%G en
%F IM2_1995_44_3_a6