Vvedenije v matematičeskuju logiku - Mendelson, Elliott; Kabakova, F. A.; Adjan, Sergej Ivanovič, 1931- (Moskva : Nauka, 1984)
Preklad z angl.