Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> философия
----> логика
------> классическая логика
Печать списка
Экз. чит. зала
Доступно
1 из 2
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 4
Экз. чит. зала
Нет экз.
Доступно
3 из 3
Доступно
2 из 2
Доступно
1 из 1
Доступно
3 из 3
Доступно
3 из 7
Экз. чит. зала
Экз. чит. зала
Доступно
7 из 8
Доступно
3 из 3
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Нет экз.
--> философия
----> логика
------> классическая логика
Рубрика
- Название:
- классическая логика
- См. также:
- 87.458.2
- Название:
- логика высказываний
- См. также:
- 87.458.21
- Название:
- логика предикатов
- См. также:
- 87.458.22
- Название:
- натуральный вывод
- См. также:
- 87.458.21
Печать списка
Связанные описания:
Экз. чит. зала
Книга
Колмогоров, Андрей Николаевич
Введение в математическую логику: Учебное пособие для студентов математических специальностей вузов
Изд-во МГУ, 1982 г.
ISBN отсутствует
Колмогоров, Андрей Николаевич
Введение в математическую логику: Учебное пособие для студентов математических специальностей вузов
Изд-во МГУ, 1982 г.
ISBN отсутствует
На полку
Электронный ресурс (аналит. описание)
Илясова, Е. В.
Возрастная динамика развития диалектических структур у детей младшего и среднего школьного возраста
б.г.
ISBN отсутствует
Илясова, Е. В.
Возрастная динамика развития диалектических структур у детей младшего и среднего школьного возраста
б.г.
ISBN отсутствует
Доступно
1 из 2
Заказать Экз. чит. зала
Экз. чит. зала
Книга
Набебин, Алексей Александрович
Дискретная математика: учебник для вузов по специальностям "Прикладная математика и информатика", "Информационные системы и технологии"
Научный мир, 2010 г.
ISBN 978-5-91522-190-0
Набебин, Алексей Александрович
Дискретная математика: учебник для вузов по специальностям "Прикладная математика и информатика", "Информационные системы и технологии"
Научный мир, 2010 г.
ISBN 978-5-91522-190-0
Доступно
1 из 4
Экз. чит. зала
Книга
Светлов, Виктор Александрович
Логика: Экзаменац. ответы для студентов вузов
ISBN 978-5-469-00910-8
Светлов, Виктор Александрович
Логика: Экзаменац. ответы для студентов вузов
Серия: Завтра экзамен
Питер, 2008 г.ISBN 978-5-469-00910-8
Нет экз.
Электронный ресурс
Кислов, Александр Геннадьевич
Логика высказываний: язык, алгебра, исчисления: Учебное пособие
УрФУ, 2012 г.
ISBN 978-5-7996-0773-9
Кислов, Александр Геннадьевич
Логика высказываний: язык, алгебра, исчисления: Учебное пособие
УрФУ, 2012 г.
ISBN 978-5-7996-0773-9
Доступно
3 из 3
Книга
Карпенко, Александр Степанович
Логики Лукасевича и простые числа
Наука, 2000 г.
ISBN 5-02-013048-6
Карпенко, Александр Степанович
Логики Лукасевича и простые числа
Наука, 2000 г.
ISBN 5-02-013048-6
Доступно
2 из 2
Доступно
1 из 1
Доступно
3 из 3
Доступно
3 из 7
Экз. чит. зала
Экз. чит. зала
Книга
Пойа, Джордж
Математика и правдоподобные рассуждения
Изд-во иностр. лит., 1957 г.
ISBN отсутствует
Пойа, Джордж
Математика и правдоподобные рассуждения
Изд-во иностр. лит., 1957 г.
ISBN отсутствует
Доступно
7 из 8
Книга
Гладкий, Алексей Всеволодович
Математическая логика: [Учеб. пособие для ун-тов и пед. ин-тов]
РГГУ, 1998 г.
ISBN 5-7281-0025-2
Гладкий, Алексей Всеволодович
Математическая логика: [Учеб. пособие для ун-тов и пед. ин-тов]
РГГУ, 1998 г.
ISBN 5-7281-0025-2
Доступно
3 из 3
Книга
Гудстейн, Р. Л.
Математическая логика: Пер. с англ.
ISBN отсутствует
Гудстейн, Р. Л.
Математическая логика: Пер. с англ.
Серия: Б-ка сб. "Математика"
Иностр.лит., 1961 г.ISBN отсутствует
Экз. чит. зала
Книга
Тимофеева, Ирина Леонидовна
Математическая логика: курс лекций : учебное пособие для вузов по специальности 032100 - Математика
Университет, 2007 г.
ISBN 978-5-98227-307-9
Тимофеева, Ирина Леонидовна
Математическая логика: курс лекций : учебное пособие для вузов по специальности 032100 - Математика
Университет, 2007 г.
ISBN 978-5-98227-307-9
Экз. чит. зала
Экз. чит. зала
Книга
Тимофеева, Ирина Леонидовна
Математическая логика. Ч. 2: Курс лекций , Учебное пособие для вузов по специальности 032100 - математика
Прометей, 2003 г.
ISBN 5-94845-064-3
Тимофеева, Ирина Леонидовна
Математическая логика. Ч. 2: Курс лекций , Учебное пособие для вузов по специальности 032100 - математика
Прометей, 2003 г.
ISBN 5-94845-064-3
Экз. чит. зала
Электронный ресурс
Тимофеева, Ирина Леонидовна
Математическая логика. Ч. 2: Курс лекций , Учебное пособие для вузов по специальности 032100 - математика
Прометей, 2003 г.
ISBN 5-94845-064-3
Тимофеева, Ирина Леонидовна
Математическая логика. Ч. 2: Курс лекций , Учебное пособие для вузов по специальности 032100 - математика
Прометей, 2003 г.
ISBN 5-94845-064-3
Доступно
1 из 1
Книга
Правиц, Даг
Натуральный вывод: Теоретико-доказательственное исследование:[Пер.]
Лори, 1997 г.
ISBN 5-85582-026-2
Правиц, Даг
Натуральный вывод: Теоретико-доказательственное исследование:[Пер.]
Лори, 1997 г.
ISBN 5-85582-026-2
Книга (аналит. описание)
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Зиновьев, Александр Александрович
Основы логической теории научных знаний
Наука, 1967 г.
ISBN отсутствует
Зиновьев, Александр Александрович
Основы логической теории научных знаний
Наука, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Редкое издание
Геффдинг, Харальд
Психологическая основа логических суждений
Волны, 1908 г.
ISBN отсутствует
Геффдинг, Харальд
Психологическая основа логических суждений
Волны, 1908 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Заславский, Игорь Дмитриевич
Симметрическая конструктивная логика
Изд-во Акад. наук АрмССР, 1978 г.
ISBN отсутствует
Заславский, Игорь Дмитриевич
Симметрическая конструктивная логика
Изд-во Акад. наук АрмССР, 1978 г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Брюшинкин, Владимир Никифорович
Теория поиска вывода. Происхождение и философские приложения: Монография
БФУ им. И.Канта, 2012 г.
ISBN 978-5-9971-0222-7
Брюшинкин, Владимир Никифорович
Теория поиска вывода. Происхождение и философские приложения: Монография
БФУ им. И.Канта, 2012 г.
ISBN 978-5-9971-0222-7