数理 すうり論理 ろんり がく
sūriron rigaku

Noun

1. mathematical logic

Related to 記号論理学