Сотрудники сектора математической логики ЕЦММ БАН поздравляют адресата с избранием действительным членом АН СССР. Желают дальнейших творческих успехов, крепкого здоровья и большого счастья!