Title: Logic and algorithms, with applications to the computer and information sciences
Subjects: Symbolic and mathematical Logic, Algorithms