@article{1183731709,
author = {Fitch, Frederic B.},
title = {A Simplification of Basic Logic},
journal = {J. Symbolic Logic},
volume = {18},
number = {1},
year = {1953},
pages = { 317-325},
language = {en},
url = {http://dml.mathdoc.fr/item/1183731709}
}
Fitch, Frederic B. A Simplification of Basic Logic. J. Symbolic Logic, Tome 18 (1953) no. 1, pp. 317-325. http://gdmltest.u-ga.fr/item/1183731709/