Aby ste mohli upravovať stránky, musíte sa prihlásiťSpäť na Súbor:CompLog2014-Lecture-3-Applications-of-FOL.pdf.