A formalization of set theory without variables /

Bibliographic Details
Main Author: Tarski, Alfred, 1901-1983
Other Authors: Givant, Steven R.
Format: Book
Language:English
Published: Providence, R.I. : American Mathematical Society, [1987]
Series:Colloquium publications (American Mathematical Society) ; v. 41.
Subjects:

Similar Items