Your Free Online Legal Dictionary • Featuring Black’s Law Dictionary, 2nd Ed.
Mathematical disciplines used to reduce rules of formal logic to those of algebra. Called mathematical logic.