Machine veri of mathematical proofs (1963)

by P W Abrahams