Undecidable and creative theories (1961)

by J R Shoenfield
Venue:Fundamenta Mathematica