The essence of logic - Kelly, John J (New Delhi Prentice Hal of India, 1997)
Includes bibliographical references and index
Keywords: Logic, Symbolic and mathematical; Computer science