Switch to: References

Add citations

You must login to add citations.
  1. A note on non-classical nonstandard arithmetic.Sam Sanders - 2019 - Annals of Pure and Applied Logic 170 (4):427-445.
    Download  
     
    Export citation  
     
    Bookmark  
  • Intuitionistic nonstandard bounded modified realisability and functional interpretation.Bruno Dinis & Jaime Gaspar - 2018 - Annals of Pure and Applied Logic 169 (5):392-412.
    Download  
     
    Export citation  
     
    Bookmark   2 citations