Math Logic by Q.L. Pearce