The Mathematical Analysis of Logic