中文拼音： shu4 li3 luo2 ji2

中文繁体： 數理邏輯

英文翻译： mathematical logic/symbolic logic