|
|
|
|
|
00000cam2a2200000 ib4500 |
001 |
BY-NLB-br0001514492 |
005 |
20191018094049.0 |
010 |
# |
# |
$a 978-5-4439-0944-8
|
100 |
# |
# |
$a 20181206d2017 f y0rusy50 ca
|
101 |
0 |
# |
$a rus
|
102 |
# |
# |
$a RU
|
105 |
# |
# |
$a a j 001yy
|
109 |
# |
# |
$a ga
|
200 |
1 |
# |
$a Языки и исчисления
|
215 |
# |
# |
$a 240 с.
$c ил., табл.
|
320 |
# |
# |
$a Библиография: с. 224―227 (34 назв.)
|
320 |
# |
# |
$a Указатели предметный, имен: с. 228―240
|
345 |
# |
# |
$9 1000 экз.
|
461 |
# |
0 |
$1 001BY-NLB-br0001582339
$1 2001
$v [Ч. 2]
|
606 |
0 |
# |
$3 BY-NLB-ar17284
$a МАТЕМАТИЧЕСКАЯ ЛОГИКА
$2 DVNLB
|
606 |
0 |
# |
$3 BY-NLB-ar2909625
$a КЛАССИЧЕСКАЯ ЛОГИКА
$2 DVNLB
|
606 |
0 |
# |
$3 BY-NLB-ar25210
$a ПРЕДИКАТОВ ИСЧИСЛЕНИЕ
$2 DVNLB
|
606 |
0 |
# |
$3 BY-NLB-ar6530
$a ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
$2 DVNLB
|
606 |
0 |
# |
$3 BY-NLB-ar2708790
$a ЯЗЫК ЛОГИКИ ПРЕДИКАТОВ
$2 DVNLB
|
608 |
# |
# |
$3 BY-NLB-ar2286649
$a УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ
$2 BYGNR
|
675 |
# |
# |
$a 510.6(075.8)
$v 4
$z rus
|
686 |
# |
# |
$a 27.01.33
$v 6
$2 rugasnti
|
686 |
# |
# |
$a 27.03.19
$v 6
$2 rugasnti
|
700 |
# |
1 |
$3 BY-SEK-620080
$a Верещагин
$b Н. К.
$g Николай Константинович
$c доктор физико-математических наук
$f род. 1958
|
801 |
# |
0 |
$a BY
$b BY-HM0000
$c 20181206
$g RCR
|