logical-mathematical

[网络] 逻辑数学;数理逻辑;逻辑数理