Tyto webové stránky používají soubory cookies a další sledovací nástroje s cílem vylepšení uživatelského prostředí, zobrazení přizpůsobeného obsahu a reklam, analýzy návštěvnosti webových stránek a zjištění zdroje návštěvnosti.
Cílem knihy je obeznámit čtenáře se základními pojmy logické syntaxe a sémantiky jazyka prvního řádu a s několika aplikacemi pojmového aparátu těchto disciplín na logickou analýzu některých druhů výrazů přirozeného jazyka.
