Kreisel, G., and Wang, Hao. "Applications of formalized consistency proofs II." Fundamenta Mathematicae 45.1 (1958): 334-335. <http://eudml.org/doc/213476>.
@article{Kreisel1958, author = {Kreisel, G., Wang, Hao}, journal = {Fundamenta Mathematicae}, keywords = {set theory}, language = {eng}, number = {1}, pages = {334-335}, title = {Applications of formalized consistency proofs II}, url = {http://eudml.org/doc/213476}, volume = {45}, year = {1958}, }
TY - JOUR AU - Kreisel, G. AU - Wang, Hao TI - Applications of formalized consistency proofs II JO - Fundamenta Mathematicae PY - 1958 VL - 45 IS - 1 SP - 334 EP - 335 LA - eng KW - set theory UR - http://eudml.org/doc/213476 ER -
