Title: Precis of Mathematical Logic