Esperanto Lingvoj Fakoj ktp.
FIL MAT

simbola logiko

difino

= formala logiko