Switch to: References

Add citations

You must login to add citations.
  1. Primitive recursive reverse mathematics.Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu & Alexander Melnikov - 2024 - Annals of Pure and Applied Logic 175 (1):103354.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark