Crossmark

First-Order Continuous Induction and a Logical Study of Real Closed Fields

Crossref DOI link: https://doi.org/10.1007/s41980-019-00252-0

Published Online: 2019-06-24

Published Print: 2020-02

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

Authors

Salehi, Saeed http://orcid.org/0000-0001-6961-5749
Zarza, Mohammadsaleh
License Information

Text and Data Mining valid from 2019-06-24

Version of Record valid from 2019-06-24
More Information

Article History

Received: 1 November 2018

Revised: 1 May 2019

Accepted: 7 May 2019

First Online: 24 June 2019