Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0168-0072(86)90052-7> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- 0168-0072(86)90052-7 doi "10.1016/0168-007290052-7".
- 0168-0072(86)90052-7 first "W.".
- 0168-0072(86)90052-7 first "Wilfried".
- 0168-0072(86)90052-7 isCitedBy Ordinal_collapsing_function.
- 0168-0072(86)90052-7 isCitedBy Ordinal_notation.
- 0168-0072(86)90052-7 issue "3".
- 0168-0072(86)90052-7 journal "Ann. Pure Appl. Logic".
- 0168-0072(86)90052-7 journal "Annals of Pure and Applied Logic".
- 0168-0072(86)90052-7 last "Buchholz".
- 0168-0072(86)90052-7 mr "0865989".
- 0168-0072(86)90052-7 pages "195–207".
- 0168-0072(86)90052-7 pages "195–207".
- 0168-0072(86)90052-7 title "A New System of Proof-Theoretic Ordinal Notations".
- 0168-0072(86)90052-7 title "A new system of proof-theoretic ordinal functions".
- 0168-0072(86)90052-7 volume "32".
- 0168-0072(86)90052-7 year "1986".