Introduction to mathematical logic - Mendelson, Elliott (Princeton, N. J. : D. Van Nostrand, 1964)
Includes bibliographical references (p. 272-287) and index
Keywords: Logic, Symbolic and mathematical