Mancosu, Paolo and Mugnai, Massimo Syllogistic logic and mathematical proof - Oxford University Press 2023 ISBN: 9780198876922