Introduction to mathematical logic x - Mendelson,Elliott x; x (N. Y Van Nostrand, 1979)
Keywords: Logic,Symbolic & mathematical -- Logic,Symbolic & mathematical