Switch to: References

Add citations

You must login to add citations.
  1. Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory.Toshiyasu Arai - 2014 - Journal of Symbolic Logic 79 (2):325-354.
    Download  
     
    Export citation  
     
    Bookmark   2 citations