Refine your search
Availability
-
Bibliographic level
- Книги (6)
-
Authors
- Колмогоров, Андрей Николаевич (3)
- Александров, Павел Сергеевич (1)
- Бирюков, Борис Владимирович (1)
- Галушкин, Александр Иванович (1)
- Гуц, Александр Константинович (1)
- Драгалин, Альберт Григорьевич (1)
- Мак-Каллок, Уоррен С. (1)
- Минц, Г. Е. (1)
- Писаревский, Борис Меерович (1)
- Питтс, Уолтер (1)
- Харин, Виталий Тимофеевич (1)
- Хаусдорф, Феликс (1)
- Цыпкин, Яков Залманович (1)
- Show more
- Show less
-
Locations
- Читальный зал 5 (5)
- Читальный зал 4 (1)
- Читальный зал. Депозитарий (1)
-
Item types
-
Topics
- Колмогоров, Андрей Николаевич (4)
- исчисление высказываний (2)
- исчисление предикатов (2)
- логика высказываний (2)
- логика предикатов (2)
- математическая логика (2)
- учебные пособия для вузов (2)
- 20 век (1)
- 20 век 2 половина (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)
- арифметика нечеткая (1)
- арифметика формальная (1)
- Show more
- Show less