Logic and information /
Devlin, Keith J.
Cambridge : Cambridge University Press,
1991.
Includes bibliographical references and index