An introduction to mathematical logic /
Hodel, Richard E.
Boston, Mass. ; London : PWS Pub. Co.,
c1995.
Bibliography: p477-481. - Includes index.
Logic, Symbolic and mathematical.