RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
1974, Volume 40
|
General information
|
Contents
|
Studies in constructive mathematics and mathematical logic. Part VI
Editors:
Yu. V. Matiyasevich
,
A. O. Slisenko
Full text:
Contents
©
Steklov Math. Inst. of RAS
, 2024
Full text:
Contents