The abstract type of the real numbers
Crossref DOI link: https://doi.org/10.1007/s00153-021-00772-9
Published Online: 2021-04-23
Published Print: 2021-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ferreira, Fernando https://orcid.org/0000-0002-8693-7210
Funding for this research was provided by:
Fundação para a Ciência e a Tecnologia (UIDB/04561/2020)
Text and Data Mining valid from 2021-04-23
Version of Record valid from 2021-04-23
Article History
Received: 20 March 2020
Accepted: 7 April 2021
First Online: 23 April 2021