Research Catalog
A formalization of set theory without variables
- Title
- A formalization of set theory without variables / by Alfred Tarski and Steven Givant.
- Author
- Tarski, Alfred.
- Publication
- Providence, R.I. : American Mathematical Society, c1987.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSF 88-1926 | Offsite |
Details
- Additional Authors
- Givant, Steven R.
- Description
- xxi, 318 p. : ill.; 26 cm.
- Series Statement
- Colloquium publications, 0065-9258 ; v. 41
- Uniform Title
- Colloquium publications (American Mathematical Society) ; v. 41.
- Subjects
- Note
- Includes indexes.
- Bibliography (note)
- Bibliography: p. 273-282.
- Call Number
- JSF 88-1926
- ISBN
- 0821810413 (alk. paper)
- LCCN
- 86022168
- OCLC
- 14167511
- NYPG88-B7156
- Author
- Tarski, Alfred.
- Title
- A formalization of set theory without variables / by Alfred Tarski and Steven Givant.
- Imprint
- Providence, R.I. : American Mathematical Society, c1987.
- Series
- Colloquium publications, 0065-9258 ; v. 41Colloquium publications (American Mathematical Society) ; v. 41.
- Bibliography
- Bibliography: p. 273-282.
- Added Author
- Givant, Steven R.
- Research Call Number
- JSF 88-1926