A lattice of chapters of mathematics interpretations between theorems

Bibliographische Detailangaben

Hauptverfasser:	Mycielski, Jan 1932- (VerfasserIn), Pudlák, Pavel 1952- (VerfasserIn), Stern, Alan S. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Providence, Rhode Island 1990
Schriftenreihe:	American Mathematical Society: Memoirs of the American Mathematical Society 426
Schlagworte:	First-order logic Lattice theory Verbandstheorie Verband > Mathematik Mathematische Logik Modelltheorie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!