Vvedenije v matematičeskuju logiku - Mendeľson, Elliott (Nauka, 1976)