Logic and Algorithms with Applications to the Computer and Information Sciences | lit.salon