Title | ||
---|---|---|
Some Consistency Proofs and a Characterization of Inconsistency Proofs in Illative Combinatory Logic |
Year | Venue | DocType |
---|---|---|
1987 | J. Symb. Log. | Journal |
Volume | Issue | Citations |
52 | 1 | 1 |
PageRank | References | Authors |
0.40 | 1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin W. Bunder | 1 | 64 | 16.78 |