Mathematical logic - Ershov, Y.U.; Palyutin, E.A. (Moscow Mir Publisher, 1984)
Keywords: Mathematical logic