TY - GEN AU - Mancosu, Paolo and Mugnai, Massimo TI - Syllogistic logic and mathematical proof SN - 9780198876922 PY - 2023/// PB - Oxford University Press ER -