Year | DOI | Venue |
---|---|---|
1977 | 10.1305/ndjfl/1093888122 | Notre Dame Journal of Formal Logic |
Field | DocType | Volume |
Principle of explosion,Discrete mathematics,Constructive proof,Constructive,Bar induction,Calculus,Mathematics | Journal | 18 |
Issue | Citations | PageRank |
4 | 0 | 0.34 |
References | Authors | |
0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Klaus Mainzer | 1 | 106 | 16.57 |