A formalization of set theory without variables

Bibliographische Detailangaben

Hauptverfasser:	Tarski, Alfred 1901-1983 (VerfasserIn), Givant, Steven R. 1943- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Providence, Rhode Island American Mathematical Society 1988
Ausgabe:	Reprinted with corrections
Schriftenreihe:	American Mathematical Society Colloquium publications. volume 41
Schlagworte:	Logic, Symbolic and mathematical Set theory Axiomatische Mengenlehre Mathematische Logik Mengenlehre
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!