Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969) Ю.В. Матиясевич, А.О. Слисенко (1971) Zapiski naucnych seminarov Leningradskogo