|
|
|
|
|
00000cam0a2200000 ib4500 |
| 001 |
BY-NLB-br215555 |
| 005 |
20220112110716.0 |
| 010 |
# |
# |
$d 25 к.
|
| 100 |
# |
# |
$a 19930101d1989 u y0rusy50 ||||ca
|
| 101 |
0 |
# |
$a rus
|
| 102 |
# |
# |
$a BY
|
| 105 |
# |
# |
$a y ||||000yy
|
| 109 |
# |
# |
$a aa
|
| 200 |
1 |
# |
$a Логический вывод в конечных предикатах
$f А. Д. Закревский
|
| 210 |
# |
# |
$a Минск
$c Институт технической кибернетики
$d 1989
|
| 215 |
# |
# |
$a 18, [1] с.
$d 21 см
|
| 225 |
1 |
# |
$a Препринт
$f Академия наук Белорусской ССР, Институт технической кибернетики
$v № 6
|
| 345 |
# |
# |
$9 200 экз.
|
| 606 |
0 |
# |
$3 BY-NLB-ar17284
$a МАТЕМАТИЧЕСКАЯ ЛОГИКА
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar81562
$a ПРЕДИКАТЫ (мат.)
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar6632
$a ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar17285
$a МАТЭМАТЫЧНАЯ ЛОГІКА
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar81563
$a ПРЭДЫКАТЫ (мат.)
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar6633
$a ВЫЛІЧАЛЬНАЯ ТЭХНІКА
$2 DVNLB
|
| 615 |
# |
# |
$a Белорусский национальный документ
|
| 675 |
# |
# |
$a 510.662
$v 3
$z rus
|
| 675 |
# |
# |
$a 510.635
$v 3
$z rus
|
| 686 |
# |
# |
$a 27.03.19
$2 rugasnti
|
| 700 |
# |
1 |
$3 BY-NLB-ar109291
$a Закревский
$b А. Д.
$g Аркадий Дмитриевич
$c доктор технических наук
$f 1928—2014
|
| 712 |
0 |
2 |
$3 BY-SEK-119291
$a Институт технической кибернетики
$c Минск
$4 475
|
| 801 |
# |
0 |
$a BY
$b BY-HM0000
$c 19930101
$g psbo
|
| 801 |
# |
1 |
$a BY
$b BY-HM0000
$c 20060316
$g psbo
|
