RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
Zap. Nauchn. Sem. LOMI,
1975
Volume 49,
Pages
31–50
(Mi znsl2792)
On metamathematical approach to proving theorems of discrete mathematics
Yu. V. Matiyasevich
UDC:
51.01:164+
519.1
Fulltext:
PDF file (1326 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (1326 kB)