Intuitionistic sets and numbers: small set theory and Heyting arithmetic
Crossref DOI link: https://doi.org/10.1007/s00153-024-00935-4
Published Online: 2024-06-18
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Shapiro, Stewart http://orcid.org/0000-0002-4895-0772
McCarty, Charles
Rathjen, Michael
Text and Data Mining valid from 2024-06-18
Version of Record valid from 2024-06-18
Article History
Received: 19 February 2021
Accepted: 16 May 2024
First Online: 18 June 2024