@article{1093891214, author = {Fox, Frank}, title = {A note on a consistency proof.}, journal = {Notre Dame J. Formal Logic}, volume = {15}, number = {1}, year = {1974}, language = {en}, url = {http://dml.mathdoc.fr/item/1093891214} }
Fox, Frank. A note on a consistency proof.. Notre Dame J. Formal Logic, Tome 15 (1974) no. 1, . http://gdmltest.u-ga.fr/item/1093891214/