%0 Journal Article
%A Yu. V. Matiyasevich
%T On metamathematical approach to proving theorems of discrete mathematics
%J Zapiski Nauchnykh Seminarov POMI
%D 1975
%P 31-50
%V 49
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a2/
%G ru
%F ZNSL_1975_49_a2