A friendly introduction to mathematical logic /
Leary, Christopher C.,1957-
Upper Saddle River, N.J. : Prentice Hall ; London : Prentice-Hall International (UK),
c2000.
Includes bibliographical references and index.
Computer logic.
Logic, Symbolic and mathematical.