Text this: A Precis of Mathematical Logic /