Switch to: Citations

Add references

You must login to add references.
  1. Π12-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Hierarchies of number-theoretic functions II.M. H. Löb & S. S. Wainer - 1970 - Archive for Mathematical Logic 13 (3-4):97-113.
    Download  
     
    Export citation  
     
    Bookmark   4 citations