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