A first course in formal logic and its applications in computer science
Dowsing, R.(Roy)
Walter, C. D.
Rayward-Smith, V. J.(Victor John)
Oxford Blackwell Scientific
1986
Bibliography: p259-260. - Includes index
Previous control number ISBN 0-632-01308-7
Electronic digital computers
Electronic data processing