User:Geogaffer/sandbox

Ronald Harrop (3 May 1927 – 22 October 2017) was an English-Canadian mathematician and computer scientist. He worked in mathematical logic and medical imaging.

Early years
.

Academic development
.

Works

 * The Mathematics of Metamathematics (1963, together with Roman Sikorski)
 * An Algebraic Approach to Non-Classical Logics (1974)