A friendly introduction to mathematical logic - Leary, Christopher C., 1957- (Upper Saddle River, NJ : Prentice Hall, 2000)
Includes bibliographical references and index
Keywords: Computer logic; Logic, Symbolic and mathematical