Results for “Logic and Algorithms with Applications to the Computer and...”