Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Algorithms in various contexts | 2 | 0.62 | 1979 |
| An Addendum to The Work of Kurt Gödel | 1 | 0.43 | 1978 |
| The Work of Kurt Gödel | 2 | 0.45 | 1976 |
| An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms | 1 | 0.38 | 1963 |
| Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms | 18 | 4.11 | 1962 |
| On the Interpretation of Intuitionistic Number Theory | 27 | 5.29 | 1945 |
| On Notation for Ordinal Numbers | 60 | 5.96 | 1938 |
| Third Meeting of the Association for Symbolic Logic | 0 | 0.34 | 1938 |