Logical reasoning : a first course /
Nederpelt, R. P.(Rob P.)
Kamareddine, Fairouz D.
London : King's College Publications,
c2004.
Includes bibliographical references and index.
Logic, Symbolic and mathematical.