Л.Д.Беклемишев поздравляет С.И. от имени отдела математической логики