9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005. Goncharov, S.S., Morozov, A.S., Odintsov, S.P. (2005) Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969) Ю.В. Матиясевич, А.О. Слисенко (1971) Zapiski naucnych seminarov Leningradskogo