Title | ||
---|---|---|
An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms |
Year | Venue | DocType |
---|---|---|
1963 | J. Symb. Log. | Journal |
Volume | Issue | Citations |
28 | 2 | 1 |
PageRank | References | Authors |
0.38 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stephen Cole Kleene | 1 | 111 | 17.57 |