"logickou strukturu"@cs .