Вид документа : Однотомное издание Шифр издания : 510(07)/Э 19 Автор(ы) : Эдельман С. Л. Заглавие : Математическая логика : учеб. пособие Выходные данные : М.: Высшая школа, 1975 Колич.характеристики :176 с.: ил.; 20 см Примечания : Библиогр.: с. 172 (14 назв.). - Гриф: допущено М-вом просвещения СССР в качестве учеб. пособия для студ. пед. ин-тов Цена : 0.30 р. ГРНТИ : 27.03.01.33 УДК : 510.6(07) Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): алгебра высказываний--алгебра предикатов--исчисление высказываний--аксиомы--отношение эквивалентности Аннотация: Учебное пособие соответствует программе курса "Математическая логика" для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.