The Mathematical Analysis of Logic by