Text this: Mathematical logic / Ian Chiswell and Wilfrid Hodges.