конструктивная математика

Теория доказательств и конструктивная математика, Барвайс Д., 1983

Теория доказательств и конструктивная математика, Барвайс Дж., 1983.

Последний том «Справочной книги по математической логике» содержит обзоры по наиболее современным направлениям теории доказательств и конструктивной математики. Эти обзоры не претендуют на полное описание новейших достижений теории доказательств. Это было бы очень трудно сделать в рамках одной книги. Составители ограничились обзорами небольшого числа тех областей теории доказательств, которые в последнее время активно развивались и которые тесно переплетаются с другими областями математической логики, алгебры и топологии.

Теория доказательств и конструктивная математика, Барвайс Дж., 1983
Скачать и читать Теория доказательств и конструктивная математика, Барвайс Д., 1983