Switch to: Citations

Add references

You must login to add references.
  1. Beweistheorie vonKPN.Gerhard Jäger - 1980 - Archive for Mathematical Logic 20 (1-2):53-63.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A well-ordering proof for Feferman's theoryT 0.Gerhard Jäger - 1983 - Archive for Mathematical Logic 23 (1):65-77.
    Download  
     
    Export citation  
     
    Bookmark   29 citations