Switch to: Citations

Add references

You must login to add references.
  1. Finite Kripke models of HA are locally PA.E. C. W. Krabbe - 1986 - Notre Dame Journal of Formal Logic 27:528-532.
    Download  
     
    Export citation  
     
    Bookmark   12 citations