"logick\u00E1 forma"@cs .