Theorem proving with the real numbers by Harrison, J. | Menrva Books