A formalization of set theory without variables / by Alfred Tarski and Steven Givant.

Saved in:

Bibliographic Details
Main Author:	Tarski, Alfred
Other Authors:	Givant, Steven R.
Format:	Book
Language:	English
Published:	Providence, R.I. : American Mathematical Society, c1987.
Series:	Colloquium publications (American Mathematical Society) ; v. 41.
Subjects:	Set theory. Logic, Symbolic and mathematical.

Holdings details from Science Library
Call Number:	QA248 .T37 1987
Status:	Available

Similar Items