The Mathematical Analysis Of Logic