Gödel, Consistency-proof for the generalized continuumhypothsis (1939)

by Kurt Friedrich
Venue:Proc. Nat. Acad. Sci. USA