Introductory logic and sets for computer scientists /
Nissanke, Nimal.
Harlow : Addison Wesley Longman,
1999.
Includes bibliographical references and index.
Computer logic.
Set theory.