Decidability of first-order theories of the real numbers

New to topics? Read the documentation here!
Top articles Latest articles+ New article in topic
Decidability of first-order theories of the real numbers by Wikipedia Bot 0 1970-01-01
Read the full article