Introduction to mathematical logic - Mendelson, Elliott (New York : D. Van Nostrand, 1979)
Includes bibliographical references (p. 269-287) and index
Keywords: Logic, Symbolic and mathematical