J. Harrison C. J. Van Rijsbergen John Harrison books & textbook
Theorem Proving with the Real Numbers (Distinguished Dissertations)
J. Harrison C. J. Van Rijsbergen John Harrison
Springer /1998-01-01 Hardcover / 186 Pages
isbn-10: 3540762566 / isbn-13: 9783540762560
