7 found
Order:
  1.  13
    Frederic B. Fitch. Recursive Functions in Basic Logic. The Journal of Symbolic Logic, Vol. 21 , Pp. 337–346.R. A. DiPaola - 1970 - Journal of Symbolic Logic 35 (1):152-153.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  10
    Solomon Feferman. Transfinite Recursive Progressions of Axiomatic Theories. The Journal of Symbolic Logic, Vol. 27 No. 3 , Pp. 259–316.R. A. DiPaola - 1968 - Journal of Symbolic Logic 32 (4):530-531.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  17
    Ehrenfeucht A. And Feferman S.. Representability of Recursively Enumerable Sets Informal Theories. Archiv Für Mathematische Logik Und Grundlagenforschung, Vol. 5 No. 1–2 , Pp. 37–41. [REVIEW]R. A. DiPaola - 1968 - Journal of Symbolic Logic 32 (4):530-530.
  4.  2
    S. Feferman and C. Spector. Incompleteness Along Paths in Progressions of Theories. The Journal of Symbolic Logic, Vol. 27 No. 4 , Pp. 383–390.R. A. DiPaola - 1967 - Journal of Symbolic Logic 32 (4):531.
  5.  4
    Recursive Functions in Basic Logic.R. A. DiPaola & Frederic B. Fitch - 1970 - Journal of Symbolic Logic 35 (1):152.
  6. Review: A. Ehrenfeucht, S. Feferman, Representability of Recursively Enumerable Sets in Formal Theories. [REVIEW]R. A. DiPaola - 1967 - Journal of Symbolic Logic 32 (4):530-530.
  7. Review: Solomon Feferman, Transfinite Recursive Progressions of Axiomatic Theories. [REVIEW]R. A. DiPaola - 1967 - Journal of Symbolic Logic 32 (4):530-531.