Documents Related by Co-Citation
| 48 | Transfinite recursive progressions of axiomatic theories – S Feferman - 1962 |
| 30 | Introduction to Metamathematics, North-Holland Publishing – S C Kleene - 1964 |
| 14 | Turing, Systems of logic based on ordinals – A M - 1939 |
| 3 | Iterated reflection principles and the ω-rule – U R Schmerl - 1982 |
| 714 | Theory of recursive functions and effective computability, McGraw-Hill – H Rogers - 1967 |
