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