Mathematics and logic for digital devices. - Culbertson, James T. (Princeton, New Jersey D. Van Nostrand Company, 1958)