Introduction to elementary mathematical logic /
Stoliar, Abram Aronovich.
Mendelson, Elliott.
Cambridge (Mass.) London M.I.T. Press
1970
Originally published as 'Elementarnoe vvedenie v matematicheskuiu logiku'. Moscow: Prosveshchenie Press, 1965
bibl p200
Logic, Symbolic and mathematical.