TY - BOOK AU - Bornat TI - Proof and Disproof in Formal Logic SN - 9781383024975 PY - 2023/// PB - Oxford University PressOxford University Press UR - https://academic.oup.com/book/53347 ER -