mathematical analysis of logic