symbolic logic

(noun) mathematical logic

< symbolic | symbolic logician >