Switch to: Citations

Add references

You must login to add references.
  1. Models and types of Peano's arithmetic.Haim Gaifman - 1976 - Annals of Mathematical Logic 9 (3):223-306.