Mathematical logic - Tourlakis, George J. (Cambridge University Press, 2003)
Includes bibliographical references and indexes