Finite sets and infinite sets in weak intuitionistic arithmetic
Crossref DOI link: https://doi.org/10.1007/s00153-019-00704-8
Published Online: 2020-01-02
Published Print: 2020-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Nemoto, Takako https://orcid.org/0000-0003-3898-6189
Text and Data Mining valid from 2020-01-02
Version of Record valid from 2020-01-02
Article History
Received: 5 July 2017
Accepted: 17 November 2019
First Online: 2 January 2020