Содержимое раздела
Этот раздел посвящен обзору фундаментальных концепций и методов математической логики, которые составляют теоретическую основу для понимания работ Яновской. Будут рассмотрены такие понятия, как логические исчисления, теории моделей, теория доказательств и теория вычислимости. Особое внимание будет уделено тем областям, в которых Яновская внесла значительный вклад, таким как аксиоматические системы и проблемы формализации. Параллельно будут рассмотрены исторические аспекты развития логики.