А 52 Алутин, П. П. Введение в математику [Text] : учеб. пособие для студ. вузов / П. П. Алутин ; М-во образования РФ, БГПУ. - Благовещенск : Изд-во БГПУ, 2001. - 101 с. - ISBN 5-8331-0019-4 : 19.00 р. Рубрики: Математика Кл.слова (ненормированные): учебное пособие для вузов -- множества -- алгебра высказываний -- предикаты Доп.точки доступа: М-во образования РФ. БГПУ Экземпляры всего: 26 Ч.з.1 (5), Аб.2 (20), ИБО (1) Свободны: Ч.з.1 (5), Аб.2 (20), ИБО (1) |
И 26 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для физ.-мат. спец. пед. ин-тов / В. И. Игошин. - Саратов : Изд-во Сарат. ун-та, 1991. - 255, [1] с. - Библиогр.: с. 250-252. - ISBN 5-292-00259-3 : 3.00 р. Рубрики: Математическая логика Кл.слова (ненормированные): учебное пособие для вузов -- алгебра высказываний -- булевы функции -- логика предикатов -- аксиоматические теории -- теория алгоритмов Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
Л 59 Линдон, Р. Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гастева ; под ред. И. М. Яглома. - М. : Мир, 1968. - 127, [1] с. - (Современная математика. Популярная серия.). - 0.41 р. Рубрики: Математическая логика Кл.слова (ненормированные): грамматика -- термы -- семантическое следование -- пропозициональная логика -- алгебра высказываний -- дизъюнктивная форма -- булева алгебра -- пропозициональная логика -- разрешимость теории -- оправданность аксиоматизации -- теорема дедукции -- категоричность -- другая формулировка -- теорема адекватности -- теорема Крэйга -- гёделевы номера Доп.точки доступа: Гастева, Ю. А. \пер. с англ.\; Яглома, И.М. \под ред.\ Экземпляры всего: 2 Ч.з.1 (1), Аб.2 (1) Свободны: Ч.з.1 (1), Аб.2 (1) |