@article{bwmeta1.element.bwnjournal-article-fmv42i1p101bwm,
author = {G. Kreisel and Hao Wang},
title = {Some applications of formalized consistency proofs},
journal = {Fundamenta Mathematicae},
volume = {41},
year = {1955},
pages = {101-110},
zbl = {0067.25201},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv42i1p101bwm}
}
Kreisel, G.; Wang, Hao. Some applications of formalized consistency proofs. Fundamenta Mathematicae, Tome 41 (1955) pp. 101-110. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv42i1p101bwm/