Title: Mathematical logic (Harper torchbooks : The Science library)