Математическая логика
- Автор(ы)
- А.Г. Драгалин А.Н. Колмогоров
- Год
- 1984
- Издательство
- Изд-во Моск. ун-та
- Выходные данные
- М. : Изд-во Моск. ун-та, 1984. — 120 с.
- Теги
- Программирование Математика
Аннотация
Математическая логика Год выпуска : 1984 Автор : А.Г. Драгалин А.Н. Колмогоров Жанр : Уч. пособие Издательство : Моск универ Формат : DjVu Качество : Отсканированные страницы Количество страниц : 61 Описание : Фундаментальные факты математической логики: начало аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Гёделя о неполноте. Обсуждается программа Гильберта обоснования математики.
Как сослаться (ГОСТ Р 7.0.5-2008)
- В списке литературы
- А.Г. Драгалин А.Н. Колмогоров. Математическая логика. — М. : Изд-во Моск. ун-та, 1984. — 120 с.
- В тексте
- (А.Г. Драгалин А.Н. Колмогоров. Математическая логика. М. : Изд-во Моск. ун-та, 1984. 120 с.)