calcul logic

Noun

 * 1) logical calculus