Name
Year | DOI | Venue |
|---|---|---|
1989 | 10.1305/ndjfl/1093635158 | Notre Dame Journal of Formal Logic |
Field | DocType | Volume |
Intuitionistic logic,Discrete mathematics,Lambda calculus,Algorithm,Propositional calculus,Completeness (statistics),Predicate logic,Propositional formula,Realizability,Mathematics,Mathematical logic | Journal | 30 |
Issue | Citations | PageRank |
3 | 10 | 1.48 |
References | Authors | |
0 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Grigori Mints | 1 | 235 | 72.76 |