An introduction to logic - Davis, Wayne A . (New Jersey : Prentice Hall, 1986)
Includes index
Keywords: LOGIC