1.  18
    William C. Powell (1975). Extending Gödel's Negative Interpretation to ZF. Journal of Symbolic Logic 40 (2):221-229.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  12
    William C. Powell (1976). A Completeness Theorem for Zermelo-Fraenkel Set Theory. Journal of Symbolic Logic 41 (2):323-327.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  3. William C. Powell (1976). A Completeness Theorem for Zermelo-Fraenkel Set Theory. Journal of Symbolic Logic 41 (2):323-327.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography