@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/