Harrison, J. profile picture

Harrison, J.

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Handbook of practical logic and automated reasoning
Theorem proving with the real numbers
Handbook of Practical Logic and Automated Reasoning
Topic English: a short intermediate course
Topic English Notes. / J. Harrison ...