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

=LDR  00000cx\\j22001813\\45\\
=001  BY-NLB-ar6836745
=005  20131224150434.1
=100  \\$a20131216abely50\\\\\\ca0
=152  \\$bDVNLB
=250  \\$aІНТУІЦЫЯНІСЦКАЯ ЛОГІКА
=300  1\$aФорма логікі прэдыкатаў з выключанай аксіёмай выключанага трэцяга; логіка, якая задавальняе інтуіцыянісцкім патрабаванням да матэматычных разваг.
=550  \\$5w$3BY-NLB-ar6836725$aИНТУИЦИОНИСТСКАЯ ЛОГИКА
=686  \\$2rugasnti$a02.21
=686  \\$2rugasnti$a27
=801  \0$aBY$bBY-HM0000$c20131216
=810  \\$aСоветский энциклопедический словарь / главный редактор А. М. Прохоров. ― Москва, 1989.
=999  \\$f742 NLB-NDARD$t20131216
=999  \\$h28 NLB-NDARD$t20131224