Some Facts About Kurt Godel

@article{Wang1981SomeFA,
  title={Some Facts About Kurt Godel},
  author={Hao Wang},
  journal={J. Symb. Log.},
  year={1981},
  volume={46},
  pages={653-659}
}