Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)R. O. Gandy, G. Kreisel and W. W. Tait. Set existence. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 577–582, and vol. 9 , pp. 881–882. [REVIEW]Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (2):232-233.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Review: R. O. Gandy, G. Kreisel, W. W. Tait, Set Existence. [REVIEW]Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (2):232-233.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
    Download  
     
    Export citation  
     
    Bookmark   107 citations