S logickou analýzou (57)