A Formal System of Computation. AIM-025

purl.stanford.edu/ym583dn6844