Logic
Propositional calculus
Automaton
Quantum dot cellular automaton
Automata theory
Theory of computation
Mathematical logic