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