Models of computation
Logic gates
Fredkin gate
Reversible computing
Modal logic
Billiard-ball computer
Logic
FO
Toffoli gate
Many-valued logic