Исследования

Первый выпуск: четырнадцать работ с сохранением утверждений, оснований и ограничений.

Исследования на уровне концепций с ограниченными конечными проверками. Это не принятый стандарт и не подтверждённый продукт. Независимая семантическая проверка остаётся открытой.

14 / 14