Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математическая логика
Печать списка
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
--> математическая логика
Рубрика
- Название:
- математическая логика
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
Мальцев, Анатолий Иванович
Алгебраические системы
ISBN отсутствует
Мальцев, Анатолий Иванович
Алгебраические системы
Серия: Современная алгебра
Наука, 1970 г.ISBN отсутствует
Заказать 
На полку Экз. чит. зала
Книга
Успенский, Владимир Андреевич
Апология математики
ISBN 978-5-367-01967-4
Успенский, Владимир Андреевич
Апология математики
Серия: Новая эврика
Амфора, 2011 г.ISBN 978-5-367-01967-4
Доступно
1 из 1
Книга
Успенский, Владимир Андреевич
Апология математики
Альпина нон-фикшн, 2018 г.
ISBN 978-5-91671-735-8
Успенский, Владимир Андреевич
Апология математики
Альпина нон-фикшн, 2018 г.
ISBN 978-5-91671-735-8
Доступно
1 из 1
Доступно
1 из 1
Книга
Чижов, Евгений Борисович
Введение в философию математических пространств
ISBN 5-354-00661-9
Чижов, Евгений Борисович
Введение в философию математических пространств
Серия: Relata Refero
Эдиториал УРСС, 2004 г.ISBN 5-354-00661-9
Доступно
1 из 1
Доступно
1 из 1
Книга
Акимов, Олег Евгеньевич
Дискретная математика: Логика, группы, графы
ISBN 5-932080-25-6
Акимов, Олег Евгеньевич
Дискретная математика: Логика, группы, графы
Серия: Технический университет
Лаборатория базовых знаний, 2001 г.ISBN 5-932080-25-6
Доступно
1 из 1
Книга
Лакатос, Имре
Доказательства и опровержения: как доказываются теоремы
URSS, 2010 г.
ISBN 978-5-382-01024-3
Лакатос, Имре
Доказательства и опровержения: как доказываются теоремы
URSS, 2010 г.
ISBN 978-5-382-01024-3
Доступно
1 из 1
Книга
Лакатос, Имре
Доказательства и опровержения: как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Лакатос, Имре
Доказательства и опровержения: как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Достоверный и правдоподобный вывод в интеллектуальных системах
Физматлит, 2004 г.
ISBN 5-922104-74-8
Достоверный и правдоподобный вывод в интеллектуальных системах
Физматлит, 2004 г.
ISBN 5-922104-74-8
Доступно
1 из 1
Книга
Бирюков, Борис Владимирович
Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи ...
Эдиториал УРСС, 2004 г.
ISBN 5-354-00310-5
Бирюков, Борис Владимирович
Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи ...
Эдиториал УРСС, 2004 г.
ISBN 5-354-00310-5
Доступно
1 из 1
Доступно
1 из 1
Книга
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ
Эдиториал УРСС, 2003 г.
ISBN 5-354-00388-1
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ
Эдиториал УРСС, 2003 г.
ISBN 5-354-00388-1
Доступно
1 из 1
Книга
Яновская, Софья Александровна
Лекции по алгебре логики
ISBN 978-5-9710-0912-2
Яновская, Софья Александровна
Лекции по алгебре логики
Серия: Из научного наследия
URSS, 2015 г.ISBN 978-5-9710-0912-2
Доступно
1 из 1
Книга
Фреге, Готтлоб
Логика и логическая семантика: сборник трудов
Аспект Пресс, 2000 г.
ISBN 5-7567-0128-1
Фреге, Готтлоб
Логика и логическая семантика: сборник трудов
Аспект Пресс, 2000 г.
ISBN 5-7567-0128-1
Доступно
1 из 1
Книга
Колмогоров, Андрей Николаевич
Математика в ее историческом развитии
URSS, 2007 г.
ISBN 5-382-00170-7
Колмогоров, Андрей Николаевич
Математика в ее историческом развитии
URSS, 2007 г.
ISBN 5-382-00170-7
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Клини, Стивен Коул
Математическая логика
Mathematical Logic
Эдиториал УРСС, 2005 г.
ISBN 5-354-01011-X
Клини, Стивен Коул
Математическая логика
Mathematical Logic
Эдиториал УРСС, 2005 г.
ISBN 5-354-01011-X
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Книга
Колмогоров, Андрей Николаевич
Математическая логика: Учеб. пособие для студентов мат. спец. вузов
URSS, 2006 г.
ISBN 5-484-00520-5
Колмогоров, Андрей Николаевич
Математическая логика: Учеб. пособие для студентов мат. спец. вузов
URSS, 2006 г.
ISBN 5-484-00520-5
Доступно
2 из 2
Книга
Колмогоров, Андрей Николаевич
Математическая логика: Учеб. пособие для студентов мат. спец. вузов
Эдиториал УРСС, 2004 г.
ISBN 5-354-00389-X
Колмогоров, Андрей Николаевич
Математическая логика: Учеб. пособие для студентов мат. спец. вузов
Эдиториал УРСС, 2004 г.
ISBN 5-354-00389-X
Доступно
1 из 1
Книга
Колмогоров, Андрей Николаевич
Математическая логика: введение в математическую логику: учебное пособие для студ. мат. спец. вузов
URSS, 2013 г.
ISBN 978-5-354-01447-7
Колмогоров, Андрей Николаевич
Математическая логика: введение в математическую логику: учебное пособие для студ. мат. спец. вузов
URSS, 2013 г.
ISBN 978-5-354-01447-7
Доступно
1 из 1
Книга
Колмогоров, Андрей Николаевич
Математическая логика: дополнительные главы: учебное пособие для студ. мат. спец. вузов
URSS, 2013 г.
ISBN 978-5-354-01446-0
Колмогоров, Андрей Николаевич
Математическая логика: дополнительные главы: учебное пособие для студ. мат. спец. вузов
URSS, 2013 г.
ISBN 978-5-354-01446-0
Доступно
1 из 1
Книга
Мордкович, Александр Григорьевич
Математический анализ: Учеб.пособие для пед. вузов
Вербум-М, 2000 г.
ISBN 5-8391-0010-2
Мордкович, Александр Григорьевич
Математический анализ: Учеб.пособие для пед. вузов
Вербум-М, 2000 г.
ISBN 5-8391-0010-2