VVEDENIJE V MATEMATIČESKUJU LOGIKU - Mendeľson, Elliott (Nauka, 1984)