Introduction to mathematical logic - Mendelson, Elliott (Chapman & Hall, 2009)
Includes bibliographical references and index. - Previous ed.: 1997