A formalization of set theory without variables

Author(s)

• Tarski, Alfred
• Givant, Steven R.

Bibliographic Information

A formalization of set theory without variables

by Alfred Tarski and Steven Givant

（Colloquium publications / American Mathematical Society, v. 41）

American Mathematical Society, c1987

Note

Bibliography: p. 273-282

Includes indexes

Details

• NCID: BA01472392
• ISBN:
  • 0821810413
• LCCN: 86022168
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Providence, R.I.
• Pages/Volumes: xxi, 318 p.
• Size: 26 cm
• Classification:
  • LCC : QA248
  • DC19 : 511.3/22
• Subject Headings:
  • LCSH : Set theory
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA00258036