Логика

method ID: logic

Исходящие связи

Связь	Целевая сущность	Тип	Действия
informs	Сокращение доказательства	method	Просмотр
supports	Лингвистическое моделирование	task	Просмотр