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 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

@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
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/