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

=LDR  00000cx\\j22001933\\45\\
=001  BY-NLB-ar2267342
=005  20210127164000.1
=100  \\$a20060317abely50\\\\\\ca0
=152  \\$bDVNLB
=250  \\$aВЫРАШАЛЬНЫЯ ТЭОРЫІ
=300  1\$aТэорыі, для якіх існуюць эфектыўныя працэдуры (алгарытмы), якія дазваляюць аб кожным сцвярджэнні, сфармуляваным у тэрмінах гэтай тэорыі, рашыць, выводзіцца яно ў тэорыі ці не.
=550  \\$5w$3BY-NLB-ar2267341$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