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

Недостаточно прав доступа
для просмотра документа

Ч.4. Теория доказательств и конструктивная математика