Calculations 2 Computer circuits 2 Curry howard isomorphism 2 Curry-Howard correspondence 2 Curry-Howard isomorphism 2 Differentiation (calculus) 2 First order logic 2 First-order logic of proofs 2 Formal logic 2 Lambda calculus 2 Natural deduction 2 Provability semantics 2 Semantics 2 Soundness and completeness 2 Strong normalization 2