Title: Logic and Theory of Algorithms
Subjects: Computable functions, Computational intelligence, Logic, symbolic and mathematical, Computer algorithms