MARC

LEADER 00000nam0a2200000 4500
001 336143
005 20231102004826.0
020 |a RU  |b 88-59059 
035 |a (RuTPU)RU\TPU\book\362559 
090 |a 336143 
100 |a 20171010d1988 m a0rusy5003 ca 
101 0 |a rus 
102 |a RU 
105 |a y j 001zy 
200 1 |a Применение ЭВМ для решения задач математической логики  |e учебное пособие  |f А. Н. Мелихов, А. Г. Чефранов  |g Таганрогский радиотехнический институт (ТРТИ) 
210 |a Таганрог  |c Изд-воТРТИ  |d 1988 
215 |a 76 с.  |c ил. 
320 |a Библиогр.: с. 75 (11 назв.) 
606 1 |a Математическая логика  |2 stltpush  |3 (RuTPU)RU\TPU\subj\41205  |9 61013 
610 1 |a задачи 
610 1 |a решение 
610 1 |a ЭВМ 
610 1 |a высказывания 
610 1 |a предикаты 
610 1 |a исчисление 
610 1 |a учебные пособия 
675 |a 510.6(075.8)  |z rus  |v 3 
700 1 |a Мелихов  |b А. Н.  |g Аскольд Николаевич  |4 070 
701 1 |a Чефранов  |b А. Г.  |g Александр Георгиевич  |4 070 
712 0 2 |a Таганрогский радиотехнический институт (ТРТИ)  |c (1952-1993)  |2 stltpush  |3 (RuTPU)RU\TPU\col\12259 
801 0 |a RU  |b RuMRKP  |c 19950417  |g psbo 
801 1 |a RU  |b 63413507  |c 20171010 
801 2 |a RU  |b 63413507  |c 20171016  |g RCR 
942 |c BK