A lattice of chapters of mathematics (interpretations between theorems) - Mycielski, Jan 1932- (1990)
Keywords: Prädikatenlogik; Stufe 1; Gitter -- Mathematik