Formal_Logic/Sentential_Logic/Expressibility Haskell/Variables_and_functions Discrete_mathematics Abstract_Algebra Mathematical_Logic Number_Theory Computer_Science/Logic