A Profile of Mathematical Logic