Matches in SemOpenAlex for { <https://semopenalex.org/location/W19666512441> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W19666512441 hasURL "https://doi.org/10.2969/jmsj/02230308" @default.
- W19666512441 type Location @default.
- W19666512441 hasSource S120990105 @default.
- W19666512441 hasVersion "publishedVersion" @default.
- W19666512441 isOa "true" @default.
- W19666512441 pdfUrl "https://projecteuclid.org/journals/journal-of-the-mathematical-society-of-japan/volume-22/issue-3/Cut-elimination-theorem-for-second-order-arithmetic-with-the-Pi_11/10.2969/jmsj/02230308.pdf" @default.