–
Статьи в сборниках
-
- 1979 Функционально замкнутые 4-значные расширения булевой алгебры и соответствующие логики
- Ермолаева Надежда Митрофановна, Мучник Альберт Абрамович
- в сборнике Исследования по неклассическим логикам и теории множеств, место издания Наука Москва, с. 298-315
- редактор Михайлов Александр Иванович
-
- 1979 Предтабличная временная логика
- Ермолаева Надежда Митрофановна, Мучник Альберт Абрамович
- в сборнике Исследования по неклассическим логикам и теории множеств, место издания Наука Москва, с. 288-297
- редактор Михайлов Александр Иванович
-
- 1976 Модальные логики, определяемые эндоморфизмами дистрибутивных решеток
- Ермолаева Надежда Митрофановна, Мучник Альберт Абрамович
- в сборнике Исследования по теории множеств и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 229-246
- редакторы Бочвар Дмитрий Анатольевич, Гришин Владимир Николаевич
-
- 1974 Модальные расширения логических исчислений типа Хао Вана
- Ермолаева Надежда Митрофановна, Мучник Альберт Абрамович
- в сборнике Исследования по формализованным языкам и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 172-193
- редактор Бочвар Дмитрий Анатольевич
Тезисы докладов
-
- 1987 Retro-temporal logic and finite automata
- Muchnik Albert A., Yermolaeva N.M.
- в сборнике Logic, Methodology and Philosophy of Science. Proceedings of the 8th International Congress (Moscow 1987), серия ICLMPS, издательство ELSEVIER INC (525 B STREET, STE 1900, SAN DIEGO, USA, CA,92101-4495), том 4, тезисы, с. 667-667
-
- 1976 Об эндоморфизмах дистрибутивных решеток и модально-временных логиках
- Мучник Альберт Абрамович
- в сборнике Седьмой Всесоюзный симпозиум по логике и методологии науки. Тезисы сообщений, место издания Наукова думка Киев, тезисы, с. 128-130
Руководство диссертациями
-
- 1975 Об определимости в некоторых разрешимых теориях
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Семёнов Алексей Львович, д.ф.-м.н., проф., акад. РАО, акад. РАН, МГУ имени М.В. Ломоносова
- Научный руководитель: Мучник Альберт Абрамович
- Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет