* 1951, "Some basic theorems on the foundations of mathematics and their implications" in Solomon Feferman, ed., 1995.
* 1951, "Some basic theorems on the foundations of mathematics and their implications" in Solomon Feferman, ed., 1995.