Elements of mathematical logic - Novikov, P. S. (Petr Sergeevich) (Edinburgh Addison-Wesley Pub. Co, 1964)
Keywords: Logic, Symbolic and mathematical