Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. [Ч. 2] : Языки и исчисления

Сохранено в:
Шифр документа: 1//745177(039),
Вид документа: Книги
Автор: Верещагин, Н. К. (род. 1958)
Физические характеристики: 240 с. : ил., табл.
Язык: Русский
Предмет:
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