Introduction to mathematical logic /
Mendelson, Elliott.
Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software,
c1987.
Includes index.
Bibliography: p. 289-307.
Logic, Symbolic and mathematical.