The Use of Symbolic Logic in Proving Mathematical Theorems by Means of a Digital Computer

purl.stanford.edu/gv793mv2082