Logic and algorithms, with applications to the computer and information sciences | lit.salon