logico-mathematical

[计] 逻辑数学的