A Profile of Mathematical Logic (Dover Books on Mathematics)