Title: A Precis of Mathematical Logic