Systém logický

systém logický

- abstraktný systém formulovaný v jazyku logiky.