A lattice of chapters of mathematics interpretations between theorems - Mycielski, Jan 1932-; Pudlák, Pavel; Stern, Alan S. (American Mathematical Society: Memoirs of the American Mathematical Society, 1990)