Title: Mathematical Analysis of Logic