A Precis of Mathematical Logic