A Formalization of Set Theory without Variables 7CVKR5SM7H
| URI | m2://res/7CVKR5SM7H |
|---|---|
| Kind | monograph |
| Creators | Alfred Tarski, Steven Givant |
| Date | 1987-12-31 |
| MSC | 03E30, 03-02 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1987-12-31 |
| Ids | DOI 10.1090/coll/041, zbl 0654.03036, zbl_id 193143 |
- m1: print, American Mathematical Society, 1987-12-31 (record). isbn 9780821810415, isbn 9780821874745, isbn 9781470431877
Relations
- part_of Colloquium Publications
Catalogue records
- ams-series: 10.1090/coll/041 (work)
- zbmath_search: 193143 (work)