GAMMA I. A GENERAL THEOREM-PROVING PROGRAM FOR THE IBM 704
John A. Robinson · 1961
GAMMA I is a FORTRAN-compiled program for the IBM 704 Electronic Data- Processing Machine. It embodies a certain general, uniform procedure H of mathematical logic for seeking out a proof of any theorem within any mathematical theory which is given in formal axiomatic form. An extended discussion is provided of the underlying method and of the necessary background of mathematical logic. The program is described in detail. (M.C.G.)