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