TY - BOOK AU - Smith TI - An Introduction To Formal Logic SN - 9781108411394 U1 - 160.4 PY - 2020/// PB - Cambridge KW - Maths ER -