Kreisel, G., and Wang, Hao. "Some applications of formalized consistency proofs." Fundamenta Mathematicae 42.1 (1955): 101-110. <http://eudml.org/doc/213363>.
@article{Kreisel1955, author = {Kreisel, G., Wang, Hao}, journal = {Fundamenta Mathematicae}, keywords = {philosophy and foundations of mathematics}, language = {eng}, number = {1}, pages = {101-110}, title = {Some applications of formalized consistency proofs}, url = {http://eudml.org/doc/213363}, volume = {42}, year = {1955}, }
TY - JOUR AU - Kreisel, G. AU - Wang, Hao TI - Some applications of formalized consistency proofs JO - Fundamenta Mathematicae PY - 1955 VL - 42 IS - 1 SP - 101 EP - 110 LA - eng KW - philosophy and foundations of mathematics UR - http://eudml.org/doc/213363 ER -