Title: Logic and algorithms, with applications to the computer and information sciences