Esperanto Lingvoj Fakoj ktp.
FIL MAT

formala logiko

sinonimoj

⇒ matematika logiko

⇒ simbola logiko