|
|
|
Publications in Math-Net.Ru |
Citations |
|
1971 |
| 1. |
S. Feferman, C. Spector, “Incompleteness along paths in progressions of theories”, Matematika, 15:6 (1971), 159–166    ; J. Symbolic Logic, 27 (1962), 383–390 |
| 2. |
S. Feferman, “Classifications of recursive functions by means of hierarchies”, Matematika, 15:6 (1971), 137–158 ; Trans. Amer. Math. Soc., 104 (1962), 101–122 |
| 3. |
S. Feferman, “Transfinite recursive progressions of axiomatic theories”, Matematika, 15:5 (1971), 84–139 ; J. Symbolic Logic, 27 (1962), 259–316 |
|
Contact us: