Англійська ⇄ Англійська Китайська Німецька Російська +

proposition logic
мат.	Aussagenlogik f (ssn)
Англійський тезаурус
proposition logic
абрев.	assertion-level logic (ssn); propositional logic (ssn)