A tour through mathematical logic /
Wolf, Robert S.
Mathematical Association of America.
Washington, D.C. : Mathematical Association of America,
c2005.
Includes bibliographical references (p. 375-379) and index.
Logic, Symbolic and mathematical.
Algebra, Abstract.