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

Справка

    Тэорыі, для якіх існуюць эфектыўныя працэдуры (алгарытмы), якія дазваляюць аб кожным сцвярджэнні, сфармуляваным у тэрмінах гэтай тэорыі, рашыць, выводзіцца яно ў тэорыі ці не.

ЭКВІВАЛЕНТ НА ІНШАЙ МОВЕ         РАЗРЕШИМЫЕ ТЕОРИИ

    КРЫНІЦЫ IНФАРМАЦЫІ
    Словарь по логике / А. А. Ивин, А. Л. Никифоров. — Москва, 1998.