記号 きごう論理 ろんり がく
kigōronrigaku

Noun
no-Adjective

1. symbolic logic

Computing
Related to 数理論理学