Theorem Proving with the Real Numbers

Bok av John Harrison