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