数理逻辑

shùlǐ luójí

математическая логика, устар. логистика