Text this: An Outline of Mathematical Logic :