Smith, Peter, 1944- An introduction to formal logic / Peter Smith. - Second edition - Cambridge, UK ; New York : Cambridge University Press, 2020 - viii, 420 p. : ill. ; 26 cm. Includes bibliographical references (p. 348-351) and index. ISBN: 9781108411394 9781108420068 LCCN: 2003057283 Subjects--Topical Terms: Logic. LC Class. No.: BC71 / .S62 2003 Dewey Class. No.: 160 / S643