Smith, Peter An introduction to formal logic / Peter Smith - Cambridge : Cambridge Univ. Press, 2003 - 357 p. : ill. Includes bibliographical references and index ISBN: 0521008042 Subjects--Topical Terms: LOGIC LC Class. No.: BC 71 / S647I