@article{1093891004, author = {Lee, J. M.}, title = {The form of Reductio ad Absurdum.}, journal = {Notre Dame J. Formal Logic}, volume = {14}, number = {1}, year = {1973}, pages = { 381-386}, language = {en}, url = {http://dml.mathdoc.fr/item/1093891004} }
Lee, J. M. The form of Reductio ad Absurdum.. Notre Dame J. Formal Logic, Tome 14 (1973) no. 1, pp. 381-386. http://gdmltest.u-ga.fr/item/1093891004/