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

=LDR  00000cx\\j22001933\\45\\
=001  BY-NLB-ar2267341
=005  20210127163839.0
=100  \\$a20060317arusy50\\\\\\ca0
=152  \\$bDVNLB
=250  \\$aРАЗРЕШИМЫЕ ТЕОРИИ
=300  1\$aТеории, для которых существуют эффективные процедуры (алгоритмы), позволяющие о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет.
=550  \\$5w$3BY-NLB-ar2267342$aВЫРАШАЛЬНЫЯ ТЭОРЫІ
=686  \\$2rugasnti$a27
=801  \2$aBY$bBY-HM0000$c20201028
=801  \0$aBY$bBY-HM0000$c20060317
=810  \\$aСловарь по логике / А. А. Ивин, А. Л. Никифоров. — Москва, 1998.
=999  \\$g40 NLB-NDARD$t20201028
=999  \\$f1829$t20060317
=999  \\$h1848 NLB-NDARD$t20210104