Switch to: Citations

Add references

You must login to add references.
  1. Gödel's Second incompleteness theorem for Q.A. Bezboruah & J. C. Shepherdson - 1976 - Journal of Symbolic Logic 41 (2):503-512.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Bounded existential induction.George Wilmers - 1985 - Journal of Symbolic Logic 50 (1):72-90.
    Download  
     
    Export citation  
     
    Bookmark   18 citations