Application of logic to the design of computing machines : final report