Popular lectures on mathematical logic - Wang, Hao (Van Nostrand Reinhold, 1981)