sur 11
Syllogistic Logic and Mathematical Proof — Paolo Mancosu, Massimo Mugnai