@article{1183730812, author = {Fitch, Frederic B.}, title = {A Demonstrably Consistent Mathematics--Part I}, journal = {J. Symbolic Logic}, volume = {14}, number = {4}, year = {1950}, pages = { 17-24}, language = {en}, url = {http://dml.mathdoc.fr/item/1183730812} }
Fitch, Frederic B. A Demonstrably Consistent Mathematics--Part I. J. Symbolic Logic, Tome 14 (1950) no. 4, pp. 17-24. http://gdmltest.u-ga.fr/item/1183730812/