Correct

数理逻辑

/ shǔ lǐ luóji / 
Strokes

Definition

mathematical logic/symbolic logic

Example

As a Noun

mathematical logic