A formalization of set theory without variables
Gespeichert in:
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: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|