Popular lectures on mathematical logic - Wang, Hao (Dover, 1993)