логика, то же, что математическая логика , т. с. 'логика по предмету, математика по методу' (П. С. Порецкий ), или 'логика, изучаемая посредством построения формализованных языков' (Л. Чёрч ). Термин 'С. л.' акцентирует внимание на том обстоятельстве, что основными элементами формализованных языков , служащих 'матем