Switch to: References

Add citations

You must login to add citations.
  1. The omega-rule interpretation of transfinite provability logic.David Fernández-Duque & Joost J. Joosten - 2018 - Annals of Pure and Applied Logic 169 (4):333-371.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations