Mathematics and logic for digital devices - Culbertson, James T. (D. Van Nostrad Company, 1958)