Title: Semântica formal
Subjects: SEMÂNTICA FORMAL, Semantics