- Algebraic logic (9)
- Algebra, Boolean (1)
- Algebra, Universal (1)
- Arithmetic--Foundations (1)
- Categories (Mathematics) (1)
- Data bases (1)
- Fixed point theory (1)
- Lattice theory (1)
- Logic, Symbolic and mathematical (1)
- Machine theory (1)
- Monotonic functions (1)
- Probabilities (1)
- Proof theory (1)