Vvedenije v matematičeskuju logiku - Mendelson, Elliot (Nauka, 1971)