A lattice of chapters of mathematics (interpretations between theorems (1990)

by J Mycielski, P Pudlák, A S Stern