Chinese

edit
For pronunciation and definitions of – see 數理邏輯 (“mathematical logic”).
(This term is the simplified form of 數理邏輯).
Notes: