SYMBOLIC LOGIC AND INTELLIGENT MACHINES - Berkeley, Edmund Callis (N. Y. Reinhold Pub. Corp., 1959)
Keywords: Electronic Calculating-Machines; Electronic Data Processing; Logic, Symbolic And Mathematical