Title: Proofs and Algorithms
Subjects: Information theory, Computer science, Symbolic and mathematical Logic, Algorithms, Logic, symbolic and mathematical, Mathematical Logic and Formal Languages, Theory of Computation