Подструктурные логики (включая релевантную логику, линейную логику, исчисления Ламбека, ВСК- и ВСI-логики)

Родительская рубрика: