ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
С.А. Яновская, начиная с 1954/55 учебного года в течение семи семестров читала курс по математической логики. Причем это не был годичный или полугодовой курс. В течение этих 7-ми семестров она прочла разные разделы математической логики, такие как алгебра логики, исчисление высказываний, исчисление предикатов, натуральное исчисление Генцена, исчисление Аккермана и др. "Лекции по алгебре логики", подготовленные к печати З.А. Кузичевой и Б.В. Бирюковым изданы в 2014 г. в изд-ве URSS.