Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
теория доказательств
Документи:
- Гильберт, Д. Основания математики [Текст] : Теория доказательств / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М. Нагорного; Под ред. С.И. Адяна. – М. : Наука, 1982. – 652с. – (Математическая логика и основания математики).
- Драгалин, А. Г. Математический интуиционизм [Текст] : Введение в теорию доказательств / А. Г. Драгалин. – М. : Наука, 1979. – 256 с. – (Мат. логика и основания математики).
- Такеути, Г. Теория доказательств [Текст] / Г. Такеути ; Пер. с англ. С.К.Соболева. – М. : Мир, 1978. – 412 с.
- Справочная книга по математической логике [Текст] : В 4-х частях: Пер. с английского. Ч.4 : Теория доказательств и конструктивная математика / К. Смотринский, Г. Швихтенберг, Р. Стетмен и др.; Пер. Г.В. Давыдова, Г.Е. Минца; Под ред. В.П. Оревкова. – М. : Наука, 1983. – 391с : ил. – Библиогр. в конце глав.
|