Media type: Book Title: Introductory logic and sets for computer scientists Contributor: Nissanke, Nimal [Author] imprint: Harlow; Reading, Mass.; Bonn [u.a.]: Addison Wesley Longman *, 2001 Published in: International computer science series Issue: [Nachdr.] Extent: XVI, 384 S. Language: English ISBN: 0201179571 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Mengenlehre Mathematische Logik Origination: Footnote: Includes bibliographical references and index