Mathematical logic - Ershov, Yu. L.; Palyutin, E. A. (Evgenii Andreevich). (Moscow Mir, 1984)
Keywords: Logic, Symbolic and mathematical