Новые поступления (книга в стадии обработки) Григорьев, Борис Васильевич. Классическая логика [Текст] : учеб. пособие / Б. В. Григорьев. - Москва : Гуманитарный изд. центр ВЛАДОС, 1996. - 192 с. : ил. - ISBN 5-691-00002-0 : 23.20 р. Рубрики: Логика--Общие вопросы логики Кл.слова (ненормированные): виды суждений -- доказательства -- классическая логика -- логические знаки -- логические упражнения -- модусы -- простые суждения -- силлогизмы -- способы доказательств Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Серебрянников, О. Ф. Эвристические принципы и логические исчисления [Текст] : научное издание / О. Ф. Серебрянников ; отв. ред. Б. В. Бирюков ; Акад. наук СССР, Научный Совет по комплексной проблеме "Кибернетика". - М. : Изд-во "Наука", 1970. - Библиогр.: с. 280-282. - 0.81 р.
Кл.слова (ненормированные): ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ -- МЕТОДЫ ФОРМАЛЬНОЙ ДЕДУКЦИИ -- КРИТЕРИИ ВЫВОДИМОСТИ -- ЛОГИЧЕСКИЕ ЗНАКИ -- ЛОГИЧЕСКИЕ СИСТЕМЫ -- РЕГУЛЯРНОЕ ИСЧИСЛЕНИЕ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Бирюков, Б. В. |