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

=LDR  00000cx\\j22001813\\45\\
=001  BY-NLB-ar6836725
=005  20131224150401.6
=100  \\$a20131216arusy50\\\\\\ca0
=152  \\$bDVNLB
=250  \\$aИНТУИЦИОНИСТСКАЯ ЛОГИКА
=300  1\$aФорма логики предикатов с исключённой аксиомой исключённого третьего; логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.
=550  \\$5w$3BY-NLB-ar6836745$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