Logic for information technology - Galton, Antony (Chichester : Wiley, 1990)
Includes bibliographical references : p. 286.
Includes index.
Keywords: Logic, Symbolic and mathematical