Справочная книга по математической логике Теория доказательств и контструктивная математика

Библиографические подробности
Формат:
Язык:Russian
Опубликовано: M Наука 1983
Предметы: