Concatenation Lemma Discrete Mathematics Closure Properties of Computable Sets Discrete Mathematics Truncated Computation Function Discrete Mathematics Corollaries of Rice's Theorem Discrete Mathematics Bourgain Discretized Sum-Product Theorem Combinatorics Weight-Three Codewords of the Binary Hamming Code Combinatorics Finite Boolean Closure Properties of the Arithmetical Hierarchy Logic Gentzen Cut Elimination Theorem for LJ Logic Discrete Mathematics Area Combinatorics Subarea