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

=LDR  00000cx\\j22001813\\45\\
=001  BY-NLB-ar1776605
=005  20101001153339.8
=100  \\$a20100930arusy50\\\\\\ca0
=152  \\$bDVNLB
=250  \\$aСАЛКВИСТА ФОРМУЛА
=450  \\$8ruseng$7ca0yba0y$aSahlqvist formula
=550  \\$5w$3BY-NLB-ar1776609$aСАЛКВІСТА ФОРМУЛА
=686  \\$2rugasnti$a27
=801  \0$aBY$bBY-HM0000$c20100930
=810  \\$aО модальных логиках элементарных классов шкал Крипке : автореферат диссертации ... кандидата физико-математических наук : 01.01.06 / Кикоть Станислав Павлович. ― Москва, 2010. (2//92710(039))
=856  4\$uhttp://en.wikipedia.org/wiki/Sahlqvist_formula$zСайт "Wikipedia".
=999  \\$f1848$t20101030
=999  \\$h40$t20101001