Crossmark

Is there an inconsistent primitive recursive relation?

Crossref DOI link: https://doi.org/10.1007/s11229-022-03900-x

Published Online: 2022-10-07

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Choi, Seungrak https://orcid.org/0000-0001-9087-6249
Funding

Funding for this research was provided by:

Amorepacific Corporation
License Information

Text and Data Mining valid from 2022-10-07

Version of Record valid from 2022-10-07
More Information

Article History

Received: 1 February 2022

Accepted: 20 September 2022

First Online: 7 October 2022