%0 Journal Article
%A Yu. V. Matiyasevich
%T A~proof scheme in discrete mathematics
%J Zapiski Nauchnykh Seminarov POMI
%D 1974
%P 94-100
%V 40
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1974_40_a10/
%G ru
%F ZNSL_1974_40_a10