Отдел математической логики в МИАН был организован в 1957 году согласно рекомендации Второго Всесоюзного математического съезда, проходившего в Москве в 1956 году. Первым заведующим этого отдела был Петр Сергеевич Новиков (28.08.1901 - 9.01.1975). В 1973 году по просьбе академика П.С.Новикова заведующим отделом математической логики был назначен доктор физико-математических наук С.И.Адян. В настоящее время, кроме С.И.Адяна, в отделе работают: Г.С.Маканин, (с 1966 года), В.Н.Гришин (с 1975 года), А.А.Разборов (с 1987 года), И.Г.Лысенок (с 1990 года), Л.Д.Беклемишев (с 1992 года) и Р.Э.Яворский (с 1999 года). Ранее в отделе математической логики работали также к.ф.-м.н. Ю.Т.Медведем (с 1957 по), к.ф.-м.н. Ф.А.Кабаков (с по г), д.ф.-м.н. С.Н.Артемов (с 1980 по г), к.ф.-м.н. Н.Н.Репин (с 1984 по г)