Year | DOI | Venue |
---|---|---|
1994 | 10.1305/ndjfl/1040511340 | Notre Dame Journal of Formal Logic |
Keywords | Field | DocType |
proof theory,peano arithmetic | Discrete mathematics,Hilbert's second problem,Peano axioms,Structural proof theory,True arithmetic,Algorithm,Gödel's incompleteness theorems,Mathematics | Journal |
Volume | Issue | Citations |
35 | 3 | 23 |
PageRank | References | Authors |
2.32 | 7 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Volker Halbach | 1 | 87 | 10.29 |