Abstract | ||
---|---|---|
Without Abstract |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/BFb0023778 | Ann. Pure Appl. Logic |
Keywords | DocType | Volume |
classical proofs | Journal | 164 |
Issue | ISSN | ISBN |
6 | 0168-0072 | 3-540-55789-X |
Citations | PageRank | References |
0 | 0.34 | 2 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Helmut Schwichtenberg | 1 | 373 | 44.83 |
christoph senjak | 2 | 0 | 0.34 |