Geodesic
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

Voir la notice de l'article provenant de la source Math-Net.Ru

@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},
     publisher = {mathdoc},
     volume = {49},
     year = {1975},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a2/
%G ru
%F ZNSL_1975_49_a2
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/