The Development of Mathematical Logic