Please note that we have switched to summer hours. Click here to see full details.
Church, Alonzo
The Journal of symbolic logic, 1958-06, Vol.23 (2), p.214-215