A lattice of chapters of mathematics interpretations between theorems - Mycielski, Jan 1932-; Pudlák, Pavel 1952-; Stern, Alan S. (1990)
Volume 84, Number 426 (second of 3 numbers)
Keywords: First-order logic; Lattice theory; Verbandstheorie; Verband -- Mathematik; Mathematische Logik; Modelltheorie