Refine your search
Availability
-
Bibliographic level
- Книги (14)
-
Authors
- Адян, С. И. (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
- Книгохранилище (14)
- Читальный зал. Депозитарий (3)
- Абонемент. Депозитарий (2)
- Читальный зал 4 (1)
- Абонемент (1)
-
Item types
- 1 месяц [x]
- Выдается в читальный зал (10)
- 6 месяцев (2)
- 1 неделя (1)
-
Topics
- логика [x]
- доказательства (7)
- математическая логика (6)
- опровержения (3)
- понятие (3)
- умозаключения (3)
- исчисление предикатов (2)
- математика (2)
- математические доказательства (2)
- матрицы (2)
- множества (2)
- определение (2)
- понятия логики (2)
- спор (2)
- суждение (2)
- суждения (2)
- учебники для вузов (2)
- числа (2)
- 19 век 2 половина (1)
- 19 век последняя четверть (1)
- 20 век 1 половина (1)
- Геделя теорема о неполноте арифметических исчислений (1)
- Гильберта ε-символ (1)
- Гильберта ε-теорема вторая (1)
- Гильберта ε-теорема первая (1)
- Гильберта логика (1)
- Доказательства [мат.] - (ч. 4) (1)
- Конструктивная математика - (ч. 4) (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
-
Collections