Esperanto Lingvoj Fakoj ktp.
MAT

matematika logiko

sinonimoj

⇒ formala logiko

⇒ logistiko

vidu

→ propozicio 2.a

parto de

↑ matematiko