Logik : im Klartext /
Kelly, John,1940-
München ; Harlow : Pearson Studium,
c2003.
Includes bibliographical references and index.
Computer logic.
Logic, Symbolic and mathematical.