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

by Jan Mycielski, Pavel Pudlák, Alan S Stern
Venue:Memoirs of the American Mathematical Society