000 01936nam0a2200349 4500
001 RU\NLR\BIBL_A\022492244
005 20250702134913.0
010 _a978-5-00237-016-0
090 _a13382714
_c13382714
100 _a20250317d2024 |||y0rusy50 ca
101 0 _arus
102 _aRU
105 _aa|||j|||000yy
181 0 _ai
_baxxe
182 0 _an
200 1 _aМатематическая логика
_eалгебра высказываний, булевы функции, логика предикатов, формализованное исчисление высказываний
_eучебное пособие
_fС. В. Путилов, М. А. Корпачёва, М. М. Сорокина
203 _aТекст
_bвизуальный
_cнепосредственный
205 _aИзд. 2-е, испр.
210 _aМосква
_cURSS; ЛЕНАНД
_d2024
215 _a173, [1] с.
_cил., табл.
_d21
300 _aНа 4-й с. обл. авт.: С. В. Путилов, канд. физ.-мат. наук, доц., М. А. Корпачёва, канд. физ.-мат. наук, доц., М. М. Сорокина, д-р физ.-мат. наук, проф.
320 _aБиблиогр. в конце кн.
606 1 _aМатематическая логика
_jУчебные издания для высших учебных заведений
_2nlr_sh1
_2nlr_sh2
_3RU\NLR\AUTH\6620994
_9925057
686 1 _aВ12я73-1
700 1 _aПутилов
_bС. В.
_gСергей Васильевич
701 1 _aКорпачёва
_bМ. А.
_gМарина Александровна
701 1 _aСорокина
_bМ. М.
_cд-р физ.-мат. наук
_f1971-
_gМарина Михайловна
_3RU\NLR\AUTH\77125897
_9108821
942 _cBOOK
943 _oPUBLIC
_pTEX_48188
_v20250527
_v20250605
983 0 1 _aРГ ЛБ; авт. по кн. и ЭК (3-й)