Logic employing special or artificial symbols for the structures of propositions and arguments in the interest of clarity, precision, and the ease of reasoning.
SYMBOLIC (MATHEMATICAL) LOGIC
Meaning of SYMBOLIC (MATHEMATICAL) LOGIC in English
Theological and philosophical biography English dict. Английский словарь богословской и философской биографии . 2012