- ...COMPUTATION
 - This paper is a corrected version of the paper of the same title
given at the Western Joint Computer Conference, May 1961. A tenth
section discussing the relations between mathematical logic and
computation has bean added.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
 - ...respectively.
 - 1996: I adopted Alonzo Church's spelling for
  the premise of an argument.  It was not adopted generally, and I
  later gave up.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.