Title: A lattice of chapters of mathematics
Subjects: First-order logic, Lattice theory