Switch to: Citations

Add references

You must login to add references.
  1. Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  • Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   60 citations  
  • Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems.G. Kreisel & A. Lévy - 1968 - Mathematical Logic Quarterly 14 (7-12):97-142.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   69 citations