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