Mathematical logic /
Ershov, I︠U︡riĭ Leonidovich.
Pali︠u︡tin, E. A.(Evgeniĭ Andreevich)
Moscow : Mir,
1984.
Includes indexes.
Translation of: Matematicheskai︠a︡ logika.
Logic, Symbolic and mathematical.