Mesquita Neto A. Proofs by Reductio ad Impossibile in Aristotle’s Prior Analytics. J. anc. philos. (Engl. ed.). 2021;15(2):53-76. doi:10.11606/issn.1981-9471.v15i2p53-76