Your search returned 2 results.

Not what you expected? Check for suggestions
1.
A formalization of set theory without variables

by Tarski, Alfred | Givant, Steven R.

Series: Colloquium Publications ; v. 41Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1987Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Proceedings

by Henkin Leon | Tarski Alfred.

Series: Proceedings of symposia in pure mathematics ; v. 25Material type: Computer file Computer file; Format: electronic Publication details: Providence, Published for the Association for Symbolic Logic by American Mathematical Society, 1974Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .