С 74 |
Справочная книга по математической логике [Текст] : В 4-х частях: Пер. с английского. Ч.4 : Теория доказательств и конструктивная математика / К. Смотринский, Г. Швихтенберг, Р. Стетмен и др.; Пер. Г.В. Давыдова, Г.Е. Минца; Под ред. В.П. Оревкова. – М. : Наука, 1983. – 391с : ил. – Библиогр. в конце глав. – 20000.
Содержит обзоры по направлениям теории доказательств и конструктивной математики. Составители ограничились обзорами небольшого числа тех областей теории доказательств, которые тесно переплетаются с другими областями математической логики, алгебры и топологии. |