数理逻辑

shùlǐluóji

lógica matemática; lógica simbólica

数理逻辑 — HanLexa