Mathematical logic - Eršov, Jurij Leonidovič (Mir - Moskva, 1984)
Prijevod djela: MATEMATIčESKAJA LOGIKA