Title: Zapomneni dumi
Subjects: Artificial intelligence, Semantics, Symbolic and mathematical Logic