О редакторе тематического блока академике Алексее Львовиче Семёнове

Аннотация

Алексей Львович Семёнов родился в 1950  г. в семье инженеров. По  окончании московской школы №7 учился на  мехмате МГУ, а затем в аспирантуре на кафедре математической логики, где в 1975 г. защитил кандидатскую диссертацию по теме «Об определимости в некоторых разрешимых теориях». 
В 1984  г. в МИАН им.  В.А. Стеклова защитил докторскую диссертацию «Логические теории одноместных функций на натуральном ряде».