@article{1183731101,
author = {Fitch, Frederic B.},
title = {A Demonstrably Consistent Mathematics--Part II},
journal = {J. Symbolic Logic},
volume = {16},
number = {1},
year = {1951},
pages = { 121-124},
language = {en},
url = {http://dml.mathdoc.fr/item/1183731101}
}
Fitch, Frederic B. A Demonstrably Consistent Mathematics--Part II. J. Symbolic Logic, Tome 16 (1951) no. 1, pp. 121-124. http://gdmltest.u-ga.fr/item/1183731101/