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