Switch to: Citations

Add references

You must login to add references.
  1. Bounded existential induction.George Wilmers - 1985 - Journal of Symbolic Logic 50 (1):72-90.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A Non-Standard Model for a Free Variable Fragment of Number Theory.J. C. Shepherdson - 1965 - Journal of Symbolic Logic 30 (3):389-390.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Models of Open Induction.Margarita Otero - 1991
    Download  
     
    Export citation  
     
    Bookmark   2 citations