Mathematical logic - Ershov, Yu L. (Moscow: Mir Publishers, 1984)
Keywords: MATHEMATICS; LOGIC