Vvedenije v matematičeckuju logiku - Popov, A. I. (Leningradskij universitet, 1959)