Vvedenije v matematičeskuju logiku - Mendelson, Elliott, 1931- (Nauka. Glavnaja redakcija fiziko-matematičeskoj literatury, 1984)