TY  - RPRT
TI  - First-Order Continuous Induction, and a Logical Study of Real Closed Fields
AU  - Saeed Salehi
AU  - Mohammadsaleh Zarza
PY  - 2019
DO  - 10.1007/s41980-019-00252-0
UR  - https://arxiv.org/abs/1811.00284
ID  - 1811.00284
ER  -