Machine verification of mathematical proofs (1963)

by P W ABRAHAMS