Refine your search
Availability
-
Bibliographic level
- Книги (105)
-
Authors
- Ивлев, Юрий Васильевич (6)
- Бочаров, Вячеслав Александрович (5)
- Маркин, Владимир Ильич (5)
- Драгалин, Альберт Григорьевич (4)
- Колмогоров, Андрей Николаевич (4)
- Светлов, Виктор Александрович (4)
- Акимов, Олег Евгеньевич (3)
- Верещагин, Николай Константинович (3)
- Гусев, Станислав Сергеевич (3)
- Караваев, Эдуард Федорович (3)
- Кулешов, Сергей Алексеевич (3)
- Плиско, Валерий Егорович (3)
- Попов, Юрий Петрович (3)
- Monticelli, Daniele (2)
- Pajusalu, Renate (2)
- Treikelder, Anu (2)
- Агапов, Евгений Петрович (2)
- Андерсон, Джеймс А. (2)
- Гринченков, Дмитрий Валерьевич (2)
- Гуц, Александр Константинович (2)
- Ивин, Александр Архипович (2)
- Карпов, Глеб Викторович (2)
- Ковалев, Александр Андреевич (2)
- Мигунов, Анатолий Иванович (2)
- Микиртумов, Иван Борисович (2)
- Минц, Г. Е. (2)
- Михайлов, Кирилл Авенирович (2)
- Мощенский, Владимир Андреевич (2)
- Попов, Александр Михайлович (2)
- Потоцкий, Сергей Иванович (2)
- Саит-Аметов, М. Р. (2)
- Соболева, Татьяна Сергеевна (2)
- Сотников, Валерий Николаевич (2)
- Столяр, Абрам Аронович (2)
- Успенский, Владимир Андреевич (2)
- Федоров, Борис Иванович (2)
- Хаггарти, Р. (2)
- Чечкин, Александр Витальевич (2)
- Шкильняк, С. С. (2)
- Boehme, Gert (1)
- Dube, Rakesh (1)
- Gupta, Ritu (1)
- Pandey, Adesh (1)
- Schoening, Uwe (1)
- Адян, С. И. (1)
- Аляев, Юрий Александрович (1)
- Ананичев, Д. С. (1)
- Андреева (1)
- Бабичева, Ирина Владимировна (1)
- Бартон, Виталий Иванович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (72)
- Читальный зал 5 (20)
- Читальный зал 4 (19)
- Абонемент (17)
- Абонемент. Депозитарий (15)
- Читальный зал. Депозитарий (13)
- Немецкий читальный зал (1)
- Отдел рукописей и книжных памятников (1)
- Библиотека РФФ (1)
- Книгохранилище-11 (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (71)
- 6 месяцев (28)
- 1 месяц (27)
- Выдается по месту хранения (23)
- 1 неделя (18)
-
Topics
- логика высказываний (96)
- логика предикатов (62)
- учебные пособия для вузов (48)
- математическая логика (40)
- логика (35)
- исчисление высказываний (18)
- исчисление предикатов (17)
- теория множеств (17)
- дискретная математика (16)
- понятия (15)
- булева алгебра (14)
- комбинаторика (14)
- суждения (14)
- теория алгоритмов (13)
- умозаключения (13)
- алгоритмы (12)
- булевы функции (12)
- графы (12)
- определение (11)
- язык (11)
- Тьюринга машины (10)
- аргументация (10)
- логические законы (10)
- учебники для вузов (10)
- бинарные отношения (9)
- дедуктивные умозаключения (9)
- доказательство (9)
- множества (9)
- логическое программирование (8)
- правдоподобные рассуждения (8)
- теория доказательств (8)
- доказательства (7)
- индуктивные умозаключения (7)
- кванторы (7)
- множеств теория (7)
- силлогистика (7)
- арифметика формальная (6)
- булевы алгебры (6)
- силлогизмы (6)
- Геделя теорема (4)
- Геделя теорема о полноте (4)
- Гильберта программа обоснования математики (4)
- Колмогоров, Андрей Николаевич (4)
- алгоритмов теория (4)
- гипотеза (4)
- графов теория (4)
- группы (4)
- деление (4)
- индукция (4)
- история логики (4)
- Show more
- Show less
-
Places