Title: THE MATHEMATICAL ANALYSIS OF LOGIC