Switch to: Citations

Add references

You must login to add references.
  1. Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik.Kurt Schütte - 1964 - Archive for Mathematical Logic 7 (1-2):45-60.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.
    Download  
     
    Export citation  
     
    Bookmark   13 citations