Линейная логика

method ID: linearlogic

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

Связь	Исходная сущность	Тип	Действия
relatedTo	Сетевые доказательства	method	Просмотр