СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

Справка

    1) Система правил, определяющих построение и преобразование выражений некоторого исчисления; 2) Раздел металогики, изучающий структуру и свойства неинтерпретированных исчислений

ЭКВИВАЛЕНТ НА ДРУГОМ ЯЗЫКЕ         ЛАГІЧНЫ СІНТАКСІС

ВЫШЕСТОЯЩИЕ ТЕРМИНЫ         СЕМИОТИКА

    ИСТОЧНИКИ ИНФОРМАЦИИ
    Ивин, А. А. Словарь по логике. - М., 1998.
    http://www.5-ka.ru/filos/574.html