A formalization of set theory without variables
- Författare
- Alfred Tarski
- (Alfred Tarski and Steven Givant.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| American Mathematical Society | cop. 1987 | USA, Providence, R.I | xxi, 318 sidor. |