Undecidable and creative theories (1960)

by J R Shoenfield
Venue:Fund. Math