Рыжков, А. Г. Формализированный и конструктивный подход к проблеме истинности в математической логике

 

QR-код документа

Оценок: 0