Vvedenije v matematičeskuju logiku - Mendelson, Elliott (Nauka, 1984)