Zapiski Nauchnykh Seminarov POMI, Theoretical application of methods of mathematical logic. Part I, Tome 49 (1975), pp. 31-50
Citer cet article
Yu. V. Matiyasevich. On metamathematical approach to proving theorems of discrete mathematics. Zapiski Nauchnykh Seminarov POMI, Theoretical application of methods of mathematical logic. Part I, Tome 49 (1975), pp. 31-50. http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a2/
@article{ZNSL_1975_49_a2,
author = {Yu. V. Matiyasevich},
title = {On metamathematical approach to proving theorems of discrete mathematics},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {31--50},
year = {1975},
volume = {49},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a2/}
}
TY - JOUR
AU - Yu. V. Matiyasevich
TI - On metamathematical approach to proving theorems of discrete mathematics
JO - Zapiski Nauchnykh Seminarov POMI
PY - 1975
SP - 31
EP - 50
VL - 49
UR - http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a2/
LA - ru
ID - ZNSL_1975_49_a2
ER -
%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
%U http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a2/
%G ru
%F ZNSL_1975_49_a2
