Switch to: Citations

Add references

You must login to add references.
  1. The axiomatization of arithmetic.Hao Wang - 1957 - Journal of Symbolic Logic 22 (2):145-158.